1.1 --- a/src/HOL/IsaMakefile	Thu Apr 08 12:45:22 2004 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Apr 08 12:49:23 2004 +0200
     1.3 @@ -208,7 +208,7 @@
     1.4  $(LOG)/HOL-Induct.gz: $(OUT)/HOL \
     1.5    Induct/Com.thy Induct/Comb.thy Induct/LFilter.thy \
     1.6    Induct/LList.thy Induct/Mutil.thy Induct/Ordinals.thy \
     1.7 -  Induct/PropLog.thy Induct/ROOT.ML \
     1.8 +  Induct/PropLog.thy Induct/QuoDataType.thy Induct/ROOT.ML \
     1.9    Induct/Sexp.thy Induct/Sigma_Algebra.thy \
    1.10    Induct/SList.thy Induct/ABexp.thy Induct/Term.thy \
    1.11    Induct/Tree.thy Induct/document/root.tex