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

[Lawrence Paulson]

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.

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.