# HG changeset patch
# User wenzelm
# Date 1266704584 -3600
# Node ID 7024a8a8f36a8161f1b9371f799942b43549d54c
# Parent  e649508742241e4191711684ee310121e91b8ab1
more precise dependencies;

diff -r e64950874224 -r 7024a8a8f36a src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sat Feb 20 16:20:38 2010 +0100
+++ b/src/HOL/IsaMakefile	Sat Feb 20 23:23:04 2010 +0100
@@ -455,8 +455,8 @@
 $(LOG)/HOL-Induct.gz: $(OUT)/HOL Induct/Com.thy Induct/Comb.thy		\
   Induct/Ordinals.thy Induct/PropLog.thy Induct/QuoNestedDataType.thy	\
   Induct/QuoDataType.thy Induct/ROOT.ML Induct/Sexp.thy			\
-  Induct/Sigma_Algebra.thy Induct/ABexp.thy Induct/Term.thy		\
-  Induct/Tree.thy Induct/document/root.tex
+  Induct/Sigma_Algebra.thy Induct/ABexp.thy Induct/SList.thy		\
+  Induct/Term.thy Induct/Tree.thy Induct/document/root.tex
 	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Induct