--- a/src/HOL/Lambda/ROOT.ML Thu Oct 25 22:59:11 2001 +0200
+++ b/src/HOL/Lambda/ROOT.ML Fri Oct 26 12:24:19 2001 +0200
@@ -4,6 +4,8 @@
Copyright 1998 TUM
*)
+Syntax.ambiguity_level := 100;
+
time_use_thy "Eta";
time_use_thy "Accessible_Part";
time_use_thy "Type";