src/ZF/IsaMakefile
changeset 5561 426c1e330903
parent 5539 25e743eef48a
child 6053 8a1059aa01f0
     1.1 --- a/src/ZF/IsaMakefile	Fri Sep 25 12:12:07 1998 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Fri Sep 25 13:18:07 1998 +0200
     1.3 @@ -44,7 +44,7 @@
     1.4    ind_syntax.ML ind_syntax.thy indrule.ML indrule.thy intr_elim.ML \
     1.5    intr_elim.thy mono.ML mono.thy pair.ML pair.thy simpdata.ML subset.ML \
     1.6    subset.thy thy_syntax.ML typechk.ML upair.ML upair.thy \
     1.7 -  Integ/EquivClass.ML Integ/EquivClass.thy Integ/Integ.ML Integ/Integ.thy \
     1.8 +  Integ/EquivClass.ML Integ/EquivClass.thy Integ/Int.ML Integ/Int.thy \
     1.9    Integ/twos_compl.ML Integ/Bin.ML Integ/Bin.thy 
    1.10  	@$(ISATOOL) usedir -b $(OUT)/FOL ZF
    1.11