# HG changeset patch
# User nipkow
# Date 785703652 -3600
# Node ID 363bddd82ffe761e5af8ef837b7bdb8749ca6a22
# Parent  3b1e8c22a44ea83faa6cb9096dd3706f4e67c2cd
Trancl.{thy,ML} was missing

diff -r 3b1e8c22a44e -r 363bddd82ffe Makefile
--- 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\