--- a/src/Sequents/Sequents.thy Tue Aug 17 17:57:19 2010 +0100 +++ b/src/Sequents/Sequents.thy Tue Aug 17 19:36:38 2010 +0200 @@ -14,8 +14,6 @@ declare [[unify_trace_bound = 20, unify_search_bound = 40]] -global - typedecl o (* Sequences *)