Fri, 27 Nov 2009 08:42:50 +0100 | haftmann | Inl and Inr now with authentic syntax | changeset | files |
Fri, 27 Nov 2009 08:42:34 +0100 | haftmann | renamed former datatype.ML to datatype_data.ML | changeset | files |
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 | changeset | files |