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

Lawrence Paulson lp15 at cam.ac.uk
Mon May 11 10:36:46 CEST 2020

How would the keyboard abbreviation be implemented? I think I will need to leave that to somebody else.

> 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