src/HOL/IsaMakefile
changeset 4896 4727272f3db6
parent 4864 3abfe2093aa0
child 4909 2213a9ac0e4c
     1.1 --- a/src/HOL/IsaMakefile	Tue May 05 13:27:18 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue May 05 17:28:22 1998 +0200
     1.3 @@ -46,7 +46,8 @@
     1.4    Power.ML Power.thy Prod.ML Prod.thy Record.thy ROOT.ML RelPow.ML \
     1.5    RelPow.thy Relation.ML Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy \
     1.6    Sum.ML Sum.thy Tools/record_package.ML Tools/typedef_package.ML \
     1.7 -  Trancl.ML Trancl.thy Univ.ML Univ.thy Vimage.ML Vimage.thy WF.ML \
     1.8 +  Trancl.ML Trancl.thy Univ.ML Univ.thy \
     1.9 +  Update.ML Update.thy Vimage.ML Vimage.thy WF.ML \
    1.10    WF.thy WF_Rel.ML WF_Rel.thy add_ind_def.ML arith_data.ML cladata.ML \
    1.11    datatype.ML equalities.ML equalities.thy hologic.ML ind_syntax.ML \
    1.12    indrule.ML indrule.thy intr_elim.ML intr_elim.thy mono.ML mono.thy \
    1.13 @@ -155,7 +156,7 @@
    1.14    UNITY/Network.ML UNITY/Network.thy UNITY/Reach.ML UNITY/Reach.thy\
    1.15    UNITY/SubstAx.ML UNITY/SubstAx.thy UNITY/Token.ML UNITY/Token.thy\
    1.16    UNITY/Traces.ML UNITY/Traces.thy UNITY/UNITY.ML UNITY/UNITY.thy\
    1.17 -  UNITY/Update.ML UNITY/Update.thy UNITY/WFair.ML UNITY/WFair.thy
    1.18 +  UNITY/WFair.ML UNITY/WFair.thy
    1.19  	@$(ISATOOL) usedir $(OUT)/HOL UNITY
    1.20  
    1.21