# HG changeset patch
# User berghofe
# Date 961761643 -7200
# Node ID 48ccddd9fdfe95c86645da322db71ad83ff24990
# Parent  9df44b5c610b5e6cfd516e3ff1119e314292a285
Added new theory Lambda/Type.

diff -r 9df44b5c610b -r 48ccddd9fdfe src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Jun 23 12:29:55 2000 +0200
+++ b/src/HOL/IsaMakefile	Fri Jun 23 14:00:43 2000 +0200
@@ -287,7 +287,8 @@
   Lambda/InductTermi.thy Lambda/Lambda.ML Lambda/Lambda.thy \
   Lambda/ListApplication.ML Lambda/ListApplication.thy Lambda/ListBeta.ML \
   Lambda/ListBeta.thy Lambda/ListOrder.ML Lambda/ListOrder.thy \
-  Lambda/ParRed.ML Lambda/ParRed.thy Lambda/ROOT.ML
+  Lambda/ParRed.ML Lambda/ParRed.thy Lambda/Type.ML Lambda/Type.thy \
+  Lambda/ROOT.ML
 	@$(ISATOOL) usedir $(OUT)/HOL Lambda