src/HOL/Tools/Old_Datatype/old_datatype.ML
Thu, 11 Sep 2014 18:54:36 +0200 blanchet renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
Mon, 08 Sep 2014 23:09:24 +0200 blanchet tuned command descriptions
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