[isabelle-dev] Datatypes & Isatest failures
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).
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev