| changeset 17935 | c6f1442ce949 |
| parent 17821 | daffb154f73e |
| child 22814 | 4cd25f1706bb |
--- a/src/ZF/IsaMakefile Wed Oct 19 21:52:47 2005 +0200 +++ b/src/ZF/IsaMakefile Wed Oct 19 21:52:48 2005 +0200 @@ -45,8 +45,7 @@ Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/typechk.ML \ Trancl.thy Univ.thy \ WF.thy ZF.thy Zorn.thy arith_data.ML equalities.thy func.thy \ - ind_syntax.ML pair.thy simpdata.ML \ - thy_syntax.ML upair.thy + ind_syntax.ML pair.thy simpdata.ML upair.thy @$(ISATOOL) usedir -b -r $(OUT)/FOL ZF