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.
New file cladata.ML
authorpaulson
Thu, 12 Sep 1996 10:34:21 +0200
changeset 1981 432db3edccdc
parent 1980 a22ff848be9b
child 1982 38aafcab6890
New file cladata.ML
src/HOL/Makefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/Makefile	Thu Sep 12 10:34:01 1996 +0200
+++ b/src/HOL/Makefile	Thu Sep 12 10:34:21 1996 +0200
@@ -26,7 +26,7 @@
         Sexp Univ List RelPow
 
 FILES = ROOT.ML add_ind_def.ML datatype.ML hologic.ML\
-	ind_syntax.ML simpdata.ML\
+	ind_syntax.ML cladata.ML simpdata.ML\
 	typedef.ML thy_syntax.ML thy_data.ML ../Pure/section_utils.ML\
 	../Provers/hypsubst.ML ../Provers/classical.ML\
         ../Provers/simplifier.ML ../Provers/splitter.ML\
isabelle