# HG changeset patch
# User wenzelm
# Date 1137111179 -3600
# Node ID 8474756e4cbfa64663d85eca7acea21ddd5a5266
# Parent  598d3971eeb0124c180c9232601a2ae7d2df7558
implicit setup, which admits exception_trace;

diff -r 598d3971eeb0 -r 8474756e4cbf src/Pure/Pure.thy
--- 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 *}