# HG changeset patch
# User paulson
# Date 894014529 -7200
# Node ID 96578989b0d65287a12771ac7af7fa93998be1d1
# Parent  7a046198610e5a0ba45ec368dae29cc65e4f1da3
Let.ML and Let.thy had been omitted

diff -r 7a046198610e -r 96578989b0d6 src/ZF/IsaMakefile
--- a/src/ZF/IsaMakefile	Thu Apr 30 17:16:25 1998 +0200
+++ b/src/ZF/IsaMakefile	Fri May 01 11:22:09 1998 +0200
@@ -31,8 +31,9 @@
   CardinalArith.ML CardinalArith.thy Cardinal_AC.ML Cardinal_AC.thy \
   Datatype.ML Datatype.thy Epsilon.ML Epsilon.thy EquivClass.ML \
   EquivClass.thy Finite.ML Finite.thy Fixedpt.ML Fixedpt.thy \
-  Inductive.ML Inductive.thy InfDatatype.ML InfDatatype.thy List.ML \
-  List.thy Nat.ML Nat.thy Order.ML Order.thy OrderArith.ML \
+  Inductive.ML Inductive.thy InfDatatype.ML InfDatatype.thy \
+  Let.ML Let.thy List.ML List.thy Nat.ML Nat.thy \
+  Order.ML Order.thy OrderArith.ML \
   OrderArith.thy OrderType.ML OrderType.thy Ordinal.ML Ordinal.thy \
   Perm.ML Perm.thy QPair.ML QPair.thy QUniv.ML QUniv.thy ROOT.ML Rel.ML \
   Rel.thy Sum.ML Sum.thy Trancl.ML Trancl.thy Univ.ML Univ.thy WF.ML \