--- a/src/HOL/IsaMakefile Mon Oct 05 10:33:34 1998 +0200
+++ b/src/HOL/IsaMakefile Tue Oct 06 14:39:53 1998 +0200
@@ -79,8 +79,7 @@
$(LOG)/HOL-Induct.gz: $(OUT)/HOL Induct/Acc.ML Induct/Acc.thy \
Induct/Com.ML Induct/Com.thy Induct/Comb.ML Induct/Comb.thy \
- Induct/Exp.ML Induct/Exp.thy Induct/FoldSet.ML Induct/FoldSet.thy \
- Induct/LFilter.ML Induct/LFilter.thy \
+ Induct/Exp.ML Induct/Exp.thy Induct/LFilter.ML Induct/LFilter.thy \
Induct/LList.ML Induct/LList.thy Induct/Mutil.ML Induct/Mutil.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 \