[isabelle-dev] Datatypes & Isatest failures

[Lawrence Paulson]

A fantastic achievement!

--lcp

> 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