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.
Directory Induct: Added new theory ABexp, removed obsolete
authorberghofe
Fri, 23 Oct 1998 12:59:03 +0200
changeset 5740 3a466866f7b9
parent 5739 f35761a1e1c4
child 5741 139a25a1e01e
Directory Induct: Added new theory ABexp, removed obsolete theory Simult.
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Fri Oct 23 12:57:44 1998 +0200
+++ b/src/HOL/IsaMakefile	Fri Oct 23 12:59:03 1998 +0200
@@ -83,8 +83,8 @@
   Induct/Multiset0.ML Induct/Multiset0.thy \
   Induct/Multiset.ML Induct/Multiset.thy \
   Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML Induct/PropLog.thy \
-  Induct/ROOT.ML Induct/SList.ML Induct/SList.thy Induct/Simult.ML \
-  Induct/Simult.thy Induct/Term.ML Induct/Term.thy
+  Induct/ROOT.ML Induct/SList.ML Induct/SList.thy Induct/ABexp.ML \
+  Induct/ABexp.thy Induct/Term.ML Induct/Term.thy
 	@$(ISATOOL) usedir $(OUT)/HOL Induct
isabelle