--- a/src/Sequents/Sequents.thy Sun May 18 17:03:14 2008 +0200
+++ b/src/Sequents/Sequents.thy Sun May 18 17:03:16 2008 +0200
@@ -11,6 +11,8 @@
uses ("prover.ML")
begin
+setup PureThy.old_appl_syntax_setup
+
declare [[unify_trace_bound = 20, unify_search_bound = 40]]
global