> On 13 May 2020, at 02:49, Klein, Gerwin (Data61, Kensington NSW) > <[email protected]> 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 ?< _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
