1.1 --- a/src/Pure/context.ML	Mon Apr 30 13:32:58 2007 +0200
     1.2 +++ b/src/Pure/context.ML	Mon Apr 30 13:33:00 2007 +0200
     1.3 @@ -569,7 +569,6 @@
     1.4    val init: theory -> theory
     1.5    val print: theory -> unit
     1.6    val get: theory -> T
     1.7 -  val get_sg: theory -> T    (*obsolete*)
     1.8    val put: T -> theory -> theory
     1.9    val map: (T -> T) -> theory -> theory
    1.10  end;