# HG changeset patch
# User berghofe
# Date 961756089 -7200
# Node ID 67409447f788109170f5acf188229e93c06fa277
# Parent  de99e37effda242396dfd50402be6e7927193141
Added new theory.

diff -r de99e37effda -r 67409447f788 src/HOL/Lambda/ROOT.ML
--- a/src/HOL/Lambda/ROOT.ML	Fri Jun 23 12:24:37 2000 +0200
+++ b/src/HOL/Lambda/ROOT.ML	Fri Jun 23 12:28:09 2000 +0200
@@ -6,4 +6,4 @@
 
 time_use_thy "Eta";
 with_path "../Induct" time_use_thy "Acc";
-time_use_thy "InductTermi";
+time_use_thy "Type";