src/ZF/IsaMakefile
changeset 4878 96578989b0d6
parent 4518 74c01296e818
child 5158 48ca9ef35fb0
     1.1 --- a/src/ZF/IsaMakefile	Thu Apr 30 17:16:25 1998 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Fri May 01 11:22:09 1998 +0200
     1.3 @@ -31,8 +31,9 @@
     1.4    CardinalArith.ML CardinalArith.thy Cardinal_AC.ML Cardinal_AC.thy \
     1.5    Datatype.ML Datatype.thy Epsilon.ML Epsilon.thy EquivClass.ML \
     1.6    EquivClass.thy Finite.ML Finite.thy Fixedpt.ML Fixedpt.thy \
     1.7 -  Inductive.ML Inductive.thy InfDatatype.ML InfDatatype.thy List.ML \
     1.8 -  List.thy Nat.ML Nat.thy Order.ML Order.thy OrderArith.ML \
     1.9 +  Inductive.ML Inductive.thy InfDatatype.ML InfDatatype.thy \
    1.10 +  Let.ML Let.thy List.ML List.thy Nat.ML Nat.thy \
    1.11 +  Order.ML Order.thy OrderArith.ML \
    1.12    OrderArith.thy OrderType.ML OrderType.thy Ordinal.ML Ordinal.thy \
    1.13    Perm.ML Perm.thy QPair.ML QPair.thy QUniv.ML QUniv.thy ROOT.ML Rel.ML \
    1.14    Rel.thy Sum.ML Sum.thy Trancl.ML Trancl.thy Univ.ML Univ.thy WF.ML \