changeset 13357 | 6f54e992777e |
parent 13356 | c9cfe1638bf2 |
child 13427 | b429fd98549c |
--- a/src/ZF/IsaMakefile Sun Jul 14 15:14:43 2002 +0200 +++ b/src/ZF/IsaMakefile Sun Jul 14 19:59:55 2002 +0200 @@ -45,7 +45,7 @@ Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/typechk.ML \ Trancl.thy Univ.thy \ WF.thy ZF.ML ZF.thy Zorn.thy arith_data.ML equalities.thy func.thy \ - ind_syntax.ML mono.thy pair.thy simpdata.ML \ + ind_syntax.ML pair.thy simpdata.ML \ thy_syntax.ML upair.thy @$(ISATOOL) usedir -b -r $(OUT)/FOL ZF