# HG changeset patch
# User berghofe
# Date 909140264 -7200
# Node ID f35761a1e1c4f20bd9a6dc0fbd524b5132a94f92
# Parent  0d8698c154394da6a637c49fec77f731e365f145
Added new theory ABexp, removed obsolete theory Simult.

diff -r 0d8698c15439 -r f35761a1e1c4 src/HOL/Induct/ROOT.ML
--- a/src/HOL/Induct/ROOT.ML	Fri Oct 23 12:56:13 1998 +0200
+++ b/src/HOL/Induct/ROOT.ML	Fri Oct 23 12:57:44 1998 +0200
@@ -19,5 +19,5 @@
 time_use_thy "SList";
 time_use_thy "LFilter";
 time_use_thy "Term";
-time_use_thy "Simult";
+time_use_thy "ABexp";
 time_use_thy "Exp";