src/HOL/IsaMakefile
changeset 5417 1f533238b53b
parent 5368 7c8d1c7c876d
child 5430 4a179dba527a
     1.1 --- a/src/HOL/IsaMakefile	Tue Sep 01 15:04:28 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Sep 01 15:04:59 1998 +0200
     1.3 @@ -76,7 +76,8 @@
     1.4  
     1.5  $(LOG)/HOL-Induct.gz: $(OUT)/HOL Induct/Acc.ML Induct/Acc.thy \
     1.6    Induct/Com.ML Induct/Com.thy Induct/Comb.ML Induct/Comb.thy \
     1.7 -  Induct/Exp.ML Induct/Exp.thy Induct/LFilter.ML Induct/LFilter.thy \
     1.8 +  Induct/Exp.ML Induct/Exp.thy Induct/FoldSet.ML Induct/FoldSet.thy \
     1.9 +  Induct/LFilter.ML Induct/LFilter.thy \
    1.10    Induct/LList.ML Induct/LList.thy Induct/Mutil.ML Induct/Mutil.thy \
    1.11    Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML Induct/PropLog.thy \
    1.12    Induct/ROOT.ML Induct/SList.ML Induct/SList.thy Induct/Simult.ML \