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.
corrected INDUCT_FILES
authoroheimb
Fri, 21 Nov 1997 11:54:23 +0100
changeset 4263 a434327aef8b
parent 4262 e4113a682883
child 4264 5e21f41ccd21
corrected INDUCT_FILES
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Thu Nov 20 16:24:05 1997 +0100
+++ b/src/HOL/IsaMakefile	Fri Nov 21 11:54:23 1997 +0100
@@ -36,7 +36,7 @@
 
 ## Inductive definitions: simple examples
 
-INDUCT_FILES =  Perm Comb Mutil SList LList LFilter Acc PropLog Term Simult
+INDUCT_FILES = Perm Comb Mutil SList LList LFilter Acc PropLog Term Simult Com Exp
 
 INDUCT_FILES = Induct/ROOT.ML \
 	    $(INDUCT_NAMES:%=Induct/%.thy) $(INDUCT_NAMES:%=Induct/%.ML)
isabelle