src/HOL/Tools/Datatype/datatype_data.ML
Wed, 02 Dec 2009 11:29:49 +0100 haftmann tuned
Mon, 30 Nov 2009 12:28:12 +0100 haftmann dropped some unused bindings
Mon, 30 Nov 2009 11:42:49 +0100 haftmann modernized structures and tuned headers of datatype package modules; joined former datatype.ML and datatype_rep_proofs.ML
Fri, 27 Nov 2009 08:42:34 +0100 haftmann renamed former datatype.ML to datatype_data.ML
Fri, 27 Nov 2009 08:41:10 +0100 haftmann renamed former datatype.ML to datatype_data.ML; datatype.ML provides uniform view on datatype.ML and datatype_rep_proofs.ML
less more (0) tip