[isabelle-dev] Datatypes & Isatest failures

Lawrence Paulson lp15 at cam.ac.uk
Fri Sep 19 10:36:59 CEST 2014

A fantastic achievement!


> On 19 Sep 2014, at 09:26, Dmitriy Traytel <traytel at in.tum.de> 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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list