[isabelle-dev] lex_prod changes

Lawrence Paulson lp15 at cam.ac.uk
Fri Aug 21 12:31:11 CEST 2020

I certainly think so. I was even wondering whether some mercurial trickery could turn the clock back without having to revert everything manually.


> On 21 Aug 2020, at 10:59, Klein, Gerwin (Data61, Kensington NSW) <Gerwin.Klein at data61.csiro.au> wrote:
> I’m happy with either direction as long as we get into a consistent state. If we revert the definition, we’ll also have to revert the AFP fixes, but I’m assuming that this is going to be easier than the other direction.

More information about the isabelle-dev mailing list