[isabelle-dev] lex_prod changes

[Lawrence Paulson]

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

Larry

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