--- a/Makefile Wed Nov 23 15:09:44 1994 +0100
+++ b/Makefile Thu Nov 24 20:00:52 1994 +0100
@@ -21,7 +21,7 @@
FILES = ROOT.ML HOL.thy HOL.ML simpdata.ML Ord.thy Ord.ML \
Set.thy Set.ML Fun.thy Fun.ML subset.thy subset.ML \
equalities.thy equalities.ML \
- Prod.thy Prod.ML Sum.thy Sum.ML WF.thy WF.ML \
+ Prod.thy Prod.ML Trancl.ML Trancl.thy Sum.thy Sum.ML WF.thy WF.ML \
mono.thy mono.ML Lfp.thy Lfp.ML Gfp.thy Gfp.ML Nat.thy Nat.ML \
add_ind_def.ML ind_syntax.ML indrule.ML Inductive.ML \
intr_elim.ML datatype.ML ../Pure/section_utils.ML\