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

Lawrence Paulson lp15 at cam.ac.uk
Sun May 3 12:14:40 CEST 2020

On 3 May 2020, at 01:09, Klein, Gerwin (Data61, Kensington NSW) <Gerwin.Klein at data61.csiro.au> wrote:

> I use ! all the time, esp for input (but not only for input). It’s just so much quicker to type.

Agree. We can’t repurpose (!) and there’s no need.

> As I said already privately, there should then definitely be an
> abbreviation for entering ∃⇩≤⇩1 using autocomplete.

I could live with that… I use abbreviations all the time.


More information about the isabelle-dev mailing list