src/HOL/Tools/datatype_package.ML
changeset 15704 93163972dbdc
parent 15703 727ef1b8b3ee
child 16122 864fda4a4056
     1.1 --- a/src/HOL/Tools/datatype_package.ML	Wed Apr 13 18:34:22 2005 +0200
     1.2 +++ b/src/HOL/Tools/datatype_package.ML	Wed Apr 13 18:45:09 2005 +0200
     1.3 @@ -1012,3 +1012,4 @@
     1.4  
     1.5  structure BasicDatatypePackage: BASIC_DATATYPE_PACKAGE = DatatypePackage;
     1.6  open BasicDatatypePackage;
     1.7 +