src/Pure/Pure.thy
changeset 18663 8474756e4cbf
parent 18466 389a6f9c31f4
child 18710 527aa560a9e0
     1.1 --- a/src/Pure/Pure.thy	Fri Jan 13 01:12:58 2006 +0100
     1.2 +++ b/src/Pure/Pure.thy	Fri Jan 13 01:12:59 2006 +0100
     1.3 @@ -8,8 +8,7 @@
     1.4  imports ProtoPure
     1.5  begin
     1.6  
     1.7 -setup "Context.setup ()"
     1.8 -
     1.9 +setup
    1.10  
    1.11  subsection {* Meta-level connectives in assumptions *}
    1.12