src/HOL/IsaMakefile
changeset 13075 d3e1d554cd6d
parent 13059 d78d2089e163
child 13079 e7738aa7267f
     1.1 --- a/src/HOL/IsaMakefile	Tue Apr 02 13:47:01 2002 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Apr 02 14:28:28 2002 +0200
     1.3 @@ -220,10 +220,9 @@
     1.4  HOL-Induct: HOL $(LOG)/HOL-Induct.gz
     1.5  
     1.6  $(LOG)/HOL-Induct.gz: $(OUT)/HOL \
     1.7 -  Induct/Com.ML Induct/Com.thy Induct/Comb.ML Induct/Comb.thy \
     1.8 -  Induct/Exp.ML Induct/Exp.thy Induct/LFilter.ML Induct/LFilter.thy \
     1.9 -  Induct/LList.ML Induct/LList.thy Induct/Mutil.thy Induct/Ordinals.thy \
    1.10 -  Induct/PropLog.ML Induct/PropLog.thy Induct/ROOT.ML \
    1.11 +  Induct/Com.thy Induct/Comb.thy Induct/LFilter.thy \
    1.12 +  Induct/LList.thy Induct/Mutil.thy Induct/Ordinals.thy \
    1.13 +  Induct/PropLog.thy Induct/ROOT.ML \
    1.14    Induct/Sexp.ML Induct/Sexp.thy Induct/Sigma_Algebra.thy \
    1.15    Induct/SList.ML Induct/SList.thy Induct/ABexp.thy Induct/Term.thy \
    1.16    Induct/Tree.thy Induct/document/root.tex