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