implicit setup, which admits exception_trace;

--- a/src/Pure/Pure.thy	Fri Jan 13 01:12:58 2006 +0100
+++ b/src/Pure/Pure.thy	Fri Jan 13 01:12:59 2006 +0100
@@ -8,8 +8,7 @@
 imports ProtoPure
 begin
 
-setup "Context.setup ()"
-
+setup
 
 subsection {* Meta-level connectives in assumptions *}