src/Pure/Isar/context_rules.ML
changeset 17511 51314f4bd01d
parent 17496 26535df536ae
child 18011 685d95c793ff
     1.1 --- a/src/Pure/Isar/context_rules.ML	Tue Sep 20 14:03:39 2005 +0200
     1.2 +++ b/src/Pure/Isar/context_rules.ML	Tue Sep 20 14:03:40 2005 +0200
     1.3 @@ -121,7 +121,7 @@
     1.4  
     1.5  structure GlobalRulesArgs =
     1.6  struct
     1.7 -  val name = "Isar/rule_context";
     1.8 +  val name = "Isar/rules";
     1.9    type T = T;
    1.10  
    1.11    val empty = make_rules ~1 [] empty_netpairs ([], []);