src/HOL/Tools/Old_Datatype/old_datatype.ML
Mon, 08 Sep 2014 23:04:18 +0200 blanchet added flag to 'typedef' to allow concealed definitions
Mon, 01 Sep 2014 16:17:46 +0200 blanchet tuned signatures
Mon, 01 Sep 2014 16:17:46 +0200 blanchet renamed modules defining old datatypes, as a step towards having 'datatype_new' take 'datatype's place
less more (0) tip