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

Lawrence Paulson lp15 at cam.ac.uk
Wed May 13 11:47:08 CEST 2020

> On 13 May 2020, at 02:49, Klein, Gerwin (Data61, Kensington NSW) <Gerwin.Klein at data61.csiro.au> wrote:
> Yes, abbrevs is what Manuel was also suggesting. It could even be Larry's “?<“ or “?<=“ if people want that. I’m easy on this one.

I went for ?<

More information about the isabelle-dev mailing list