src/HOL/IsaMakefile
changeset 8490 6e0f23304061
parent 8353 57a163920480
child 8503 9d62b37bbfca
     1.1 --- a/src/HOL/IsaMakefile	Thu Mar 16 00:33:46 2000 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Mar 16 00:35:27 2000 +0100
     1.3 @@ -52,9 +52,9 @@
     1.4    Integ/Int.thy Integ/IntDiv.ML Integ/IntDiv.thy Integ/NatBin.ML \
     1.5    Integ/NatBin.thy Lfp.ML Lfp.thy List.ML List.thy Main.thy Map.ML \
     1.6    Map.thy Nat.ML Nat.thy NatDef.ML NatDef.thy Numeral.thy Option.ML \
     1.7 -  Option.thy Ord.ML Ord.thy Power.ML Power.thy Prod.ML Prod.thy \
     1.8 -  ROOT.ML Recdef.thy Record.thy RelPow.ML RelPow.thy Relation.ML \
     1.9 -  Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy String.thy \
    1.10 +  Option.thy Ord.ML Ord.thy Power.ML Power.thy PreList.thy Prod.ML \
    1.11 +  Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML RelPow.thy \
    1.12 +  Relation.ML Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy String.thy \
    1.13    SVC_Oracle.ML SVC_Oracle.thy Sum.ML Sum.thy Tools/datatype_aux.ML \
    1.14    Tools/datatype_abs_proofs.ML Tools/datatype_package.ML \
    1.15    Tools/datatype_prop.ML Tools/datatype_rep_proofs.ML \
    1.16 @@ -62,7 +62,7 @@
    1.17    Tools/numeral_syntax.ML Tools/primrec_package.ML \
    1.18    Tools/recdef_package.ML Tools/record_package.ML Tools/svc_funcs.ML \
    1.19    Tools/typedef_package.ML Trancl.ML Trancl.thy Univ.ML Univ.thy \
    1.20 -  Vimage.ML Vimage.thy WF.ML WF.thy WF_Rel.ML WF_Rel.thy blastdata.ML \
    1.21 +  Vimage.ML Vimage.thy WF.ML WF.thy WF_Rel.ML WF_Rel.thy blastdata.ML  \
    1.22    cladata.ML equalities.ML equalities.thy hologic.ML mono.ML mono.thy \
    1.23    simpdata.ML subset.ML subset.thy thy_syntax.ML
    1.24  	@$(ISATOOL) usedir -b $(OUT)/Pure HOL