src/Pure/facts.ML
changeset 29848 a7c164e228e1
parent 29581 b3b33e0298eb
child 33093 d010f61d3702
     1.1 --- a/src/Pure/facts.ML	Mon Feb 09 17:21:46 2009 +0000
     1.2 +++ b/src/Pure/facts.ML	Mon Feb 09 17:25:07 2009 +1100
     1.3 @@ -20,6 +20,7 @@
     1.4    val selections: string * thm list -> (ref * thm) list
     1.5    type T
     1.6    val empty: T
     1.7 +  val space_of: T -> NameSpace.T
     1.8    val intern: T -> xstring -> string
     1.9    val extern: T -> string -> xstring
    1.10    val lookup: Context.generic -> T -> string -> (bool * thm list) option