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) > <[email protected]> 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. _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
