Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** MESSAGE REFERS TO PREVIOUS VERSION ***
authorwenzelm
Wed, 13 Apr 2005 18:45:09 +0200
changeset 15704 93163972dbdc
parent 15703 727ef1b8b3ee
child 15705 b5edb9dcec9a
*** MESSAGE REFERS TO PREVIOUS VERSION *** Attrib.src; Args.maybe;
src/HOL/Tools/datatype_package.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/datatype_package.ML	Wed Apr 13 18:34:22 2005 +0200
+++ b/src/HOL/Tools/datatype_package.ML	Wed Apr 13 18:45:09 2005 +0200
@@ -1012,3 +1012,4 @@
 
 structure BasicDatatypePackage: BASIC_DATATYPE_PACKAGE = DatatypePackage;
 open BasicDatatypePackage;
+
isabelle