[isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL
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