--- a/src/HOL/Bali/Basis.thy Tue May 31 11:53:11 2005 +0200 +++ b/src/HOL/Bali/Basis.thy Tue May 31 11:53:12 2005 +0200 @@ -7,7 +7,7 @@ theory Basis = Main: -ML_setup {* +ML {* Unify.search_bound := 40; Unify.trace_bound := 40; *}