[isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL

Lawrence Paulson lp15 at cam.ac.uk
Mon May 11 14:01:50 CEST 2020

Okay, I have pushed an initial version, but I think it will need a little fine-tuning. In particular, I chose the ASCII input syntax ?< on the grounds that it is impossible to type <= and therefore the ASCII syntax ?<=1 would be useless.


> On 11 May 2020, at 09:18, Klein, Gerwin (Data61, Kensington NSW) <Gerwin.Klein at data61.csiro.au> wrote:
> Yes, I’d be happy with that, and specifically with ∃⇩≤⇩1 + standard keyboard abbreviation.

More information about the isabelle-dev mailing list