# HG changeset patch
# User wenzelm
# Date 1127480128 -7200
# Node ID 7540ccd2b44555199f87cb822a71e915cb276509
# Parent  dac8dd2272cd404815460b1f01a44cb9daa09f86
Id;

diff -r dac8dd2272cd -r 7540ccd2b445 src/HOL/Induct/ROOT.ML
--- 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";
-