Let.ML and Let.thy had been omitted
authorpaulson
Fri May 01 11:22:09 1998 +0200 (1998-05-01)
changeset 487896578989b0d6
parent 4877 7a046198610e
child 4879 58656c6a3551
Let.ML and Let.thy had been omitted
src/ZF/IsaMakefile
     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 \