src/Pure/sign.ML
changeset 33724 5ee13e0428d2
parent 33385 fb2358edcfb6
child 34245 25bd3ed2ac9f
     1.1 --- a/src/Pure/sign.ML	Tue Nov 17 14:48:21 2009 +0100
     1.2 +++ b/src/Pure/sign.ML	Tue Nov 17 14:50:55 2009 +0100
     1.3 @@ -121,6 +121,8 @@
     1.4    val del_trrules: (xstring * string) Syntax.trrule list -> theory -> theory
     1.5    val add_trrules_i: ast Syntax.trrule list -> theory -> theory
     1.6    val del_trrules_i: ast Syntax.trrule list -> theory -> theory
     1.7 +  val new_group: theory -> theory
     1.8 +  val reset_group: theory -> theory
     1.9    val add_path: string -> theory -> theory
    1.10    val root_path: theory -> theory
    1.11    val parent_path: theory -> theory
    1.12 @@ -610,6 +612,9 @@
    1.13  
    1.14  (* naming *)
    1.15  
    1.16 +val new_group = map_naming Name_Space.new_group;
    1.17 +val reset_group = map_naming Name_Space.reset_group;
    1.18 +
    1.19  val add_path = map_naming o Name_Space.add_path;
    1.20  val root_path = map_naming Name_Space.root_path;
    1.21  val parent_path = map_naming Name_Space.parent_path;