src/HOL/IsaMakefile
changeset 6055 fdf4638bf726
parent 5983 79e301a6a51b
child 6250 354848db4052
     1.1 --- a/src/HOL/IsaMakefile	Mon Dec 28 17:03:47 1998 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Jan 04 15:07:47 1999 +0100
     1.3 @@ -55,7 +55,7 @@
     1.4    Tools/inductive_package.ML Tools/primrec_package.ML \
     1.5    Tools/record_package.ML Tools/typedef_package.ML Trancl.ML \
     1.6    Trancl.thy Univ.ML Univ.thy Vimage.ML Vimage.thy WF.ML WF.thy \
     1.7 -  WF_Rel.ML WF_Rel.thy arith_data.ML cladata.ML equalities.ML \
     1.8 +  WF_Rel.ML WF_Rel.thy cladata.ML equalities.ML \
     1.9    equalities.thy hologic.ML mono.ML mono.thy simpdata.ML subset.ML \
    1.10    subset.thy thy_syntax.ML
    1.11  	@$(ISATOOL) usedir -b $(OUT)/Pure HOL