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

[Lawrence Paulson]

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