| changeset 18874 | 05585eee8d74 |
| parent 18728 | 6790126ab5f6 |
| child 18921 | f47c46d7d654 |
--- 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 ([], []);