A fantastic achievement! --lcp
> On 19 Sep 2014, at 09:26, Dmitriy Traytel <[email protected]> wrote: > >> On 17.09.2014 11:40, Jasmin Christian Blanchette wrote: >> There are only a handful of "old_datatype"s left in the AFP, and they will >> go away as soon as Dmitriy gets a chance to fix a bug in his code >> (presumably once he's back from vacation). > It is now (isabelle/7b92932ffea5) fixed, and the "old_datatype"s are gone > from the AFP (AFP/5bda5332b484). > > Dmitriy > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
