src/ZF/IsaMakefile
changeset 13356 c9cfe1638bf2
parent 13339 0f89104dd377
child 13357 6f54e992777e
     1.1 --- a/src/ZF/IsaMakefile	Sun Jul 14 15:11:21 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Sun Jul 14 15:14:43 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.thy Univ.thy Update.thy \
     1.8 +  Trancl.thy Univ.thy \
     1.9    WF.thy ZF.ML ZF.thy Zorn.thy arith_data.ML equalities.thy func.thy	\
    1.10    ind_syntax.ML mono.thy pair.thy simpdata.ML		\
    1.11    thy_syntax.ML upair.thy