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

[Lawrence Paulson]

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

> 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.