Mon, 30 Nov 2009 12:28:12 +0100 | haftmann | dropped some unused bindings | file | diff | annotate | base |
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 | file | diff | annotate | base |
Fri, 27 Nov 2009 08:42:34 +0100 | haftmann | renamed former datatype.ML to datatype_data.ML | file | diff | annotate | base |
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 | file | diff | annotate | base |