src/Pure/facts.ML

--- a/src/Pure/facts.ML	Mon Feb 09 17:21:46 2009 +0000
+++ b/src/Pure/facts.ML	Mon Feb 09 17:25:07 2009 +1100
@@ -20,6 +20,7 @@
   val selections: string * thm list -> (ref * thm) list
   type T
   val empty: T
+  val space_of: T -> NameSpace.T
   val intern: T -> xstring -> string
   val extern: T -> string -> xstring
   val lookup: Context.generic -> T -> string -> (bool * thm list) option