removed obsolete get_sg;
authorwenzelm
Mon Apr 30 13:33:00 2007 +0200 (2007-04-30)
changeset 228277dc27b37f7f7
parent 22826 0f4c501a691e
child 22828 2064f0fd20c9
removed obsolete get_sg;
src/Pure/context.ML
     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;