src/ZF/IsaMakefile
changeset 13177 ba734cc2887d
parent 13176 312bd350579b
child 13194 812b00ed1c03
     1.1 --- a/src/ZF/IsaMakefile	Fri May 24 13:15:37 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Fri May 24 15:24:29 2002 +0200
     1.3 @@ -43,7 +43,7 @@
     1.4    Sum.thy Tools/cartprod.ML Tools/datatype_package.ML			\
     1.5    Tools/ind_cases.ML Tools/induct_tacs.ML Tools/inductive_package.ML	\
     1.6    Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/typechk.ML	\
     1.7 -  Trancl.ML Trancl.thy Univ.thy Update.ML Update.thy \
     1.8 +  Trancl.ML Trancl.thy Univ.thy Update.thy \
     1.9    WF.thy ZF.ML ZF.thy Zorn.thy arith_data.ML equalities.thy func.thy	\
    1.10    ind_syntax.ML mono.ML mono.thy pair.ML pair.thy simpdata.ML		\
    1.11    subset.ML subset.thy thy_syntax.ML upair.ML upair.thy