--- a/src/Pure/sign.ML Tue Nov 17 14:48:21 2009 +0100
+++ b/src/Pure/sign.ML Tue Nov 17 14:50:55 2009 +0100
@@ -121,6 +121,8 @@
val del_trrules: (xstring * string) Syntax.trrule list -> theory -> theory
val add_trrules_i: ast Syntax.trrule list -> theory -> theory
val del_trrules_i: ast Syntax.trrule list -> theory -> theory
+ val new_group: theory -> theory
+ val reset_group: theory -> theory
val add_path: string -> theory -> theory
val root_path: theory -> theory
val parent_path: theory -> theory
@@ -610,6 +612,9 @@
(* naming *)
+val new_group = map_naming Name_Space.new_group;
+val reset_group = map_naming Name_Space.reset_group;
+
val add_path = map_naming o Name_Space.add_path;
val root_path = map_naming Name_Space.root_path;
val parent_path = map_naming Name_Space.parent_path;