src/HOL/IsaMakefile
changeset 13079 e7738aa7267f
parent 13075 d3e1d554cd6d
child 13117 0b233f430076
     1.1 --- a/src/HOL/IsaMakefile	Thu Apr 04 16:48:00 2002 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Apr 04 17:32:52 2002 +0200
     1.3 @@ -223,8 +223,8 @@
     1.4    Induct/Com.thy Induct/Comb.thy Induct/LFilter.thy \
     1.5    Induct/LList.thy Induct/Mutil.thy Induct/Ordinals.thy \
     1.6    Induct/PropLog.thy Induct/ROOT.ML \
     1.7 -  Induct/Sexp.ML Induct/Sexp.thy Induct/Sigma_Algebra.thy \
     1.8 -  Induct/SList.ML Induct/SList.thy Induct/ABexp.thy Induct/Term.thy \
     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
    1.12  	@$(ISATOOL) usedir $(OUT)/HOL Induct
    1.13