# HG changeset patch
# User wenzelm
# Date 1138727969 -3600
# Node ID 05585eee8d74a7d3e38c20b0323486221350c07f
# Parent  11c92ec2c29c882710ae8b2b17bc6d711c0edf75
tuned;

diff -r 11c92ec2c29c -r 05585eee8d74 src/Pure/Isar/context_rules.ML
--- 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 ([], []);