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