[isabelle-dev] Datatypes & Isatest failures
Dmitriy Traytel
traytel at in.tum.de
Fri Sep 19 10:26:49 CEST 2014
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
More information about the isabelle-dev
mailing list