src/Pure/context.ML

 sig
   type T
   val init: theory -> theory
   val print: theory -> unit
   val get: theory -> T
-  val get_sg: theory -> T    (*obsolete*)
   val put: T -> theory -> theory
   val map: (T -> T) -> theory -> theory
 end;
 
 functor TheoryDataFun(Data: THEORY_DATA_ARGS): THEORY_DATA =