--- a/src/HOL/Induct/ROOT.ML Fri Sep 23 13:20:47 2005 +0200
+++ b/src/HOL/Induct/ROOT.ML Fri Sep 23 14:55:28 2005 +0200
@@ -1,3 +1,5 @@
+
+(* $Id$ *)
time_use_thy "Mutil";
time_use_thy "QuoDataType";
@@ -11,4 +13,3 @@
time_use_thy "PropLog";
time_use_thy "SList";
time_use_thy "LFilter";
-