src/Pure/subgoal.ML
changeset 32283 3bebc195c124
parent 32281 750101435f60
child 32284 d8ee8a956f19
     1.1 --- a/src/Pure/subgoal.ML	Thu Jul 30 11:23:57 2009 +0200
     1.2 +++ b/src/Pure/subgoal.ML	Thu Jul 30 12:20:43 2009 +0200
     1.3 @@ -133,8 +133,5 @@
     1.4  
     1.5  end;
     1.6  
     1.7 -val FOCUS_PARAMS = Subgoal.FOCUS_PARAMS;
     1.8 -val FOCUS_PREMS = Subgoal.FOCUS_PREMS;
     1.9 -val FOCUS = Subgoal.FOCUS;
    1.10  val SUBPROOF = Subgoal.SUBPROOF;
    1.11