# HG changeset patch
# User berghofe
# Date 909140343 -7200
# Node ID 3a466866f7b96b6e749591f992b0d0aedf84596d
# Parent  f35761a1e1c4f20bd9a6dc0fbd524b5132a94f92
Directory Induct: Added new theory ABexp, removed obsolete
theory Simult.

diff -r f35761a1e1c4 -r 3a466866f7b9 src/HOL/IsaMakefile
--- 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