[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).


More information about the isabelle-dev mailing list