tuned;

--- a/src/Pure/Isar/context_rules.ML	Tue Jan 31 18:19:28 2006 +0100
+++ b/src/Pure/Isar/context_rules.ML	Tue Jan 31 18:19:29 2006 +0100
@@ -94,7 +94,7 @@
 
 structure Rules = GenericDataFun
 (
-  val name = "Isar/rules";
+  val name = "Pure/rules";
   type T = T;
 
   val empty = make_rules ~1 [] empty_netpairs ([], []);