| changeset 33096 | db3c18fd9708 |
| parent 33095 | bbd52d2f8696 |
| child 33159 | 369da293bbd4 |
--- a/src/Pure/Isar/method.ML Sat Oct 24 19:47:37 2009 +0200 +++ b/src/Pure/Isar/method.ML Sat Oct 24 20:54:08 2009 +0200 @@ -323,7 +323,7 @@ structure Methods = TheoryDataFun ( type T = ((src -> Proof.context -> method) * string) Name_Space.table; - val empty = Name_Space.empty_table; + val empty = Name_Space.empty_table "method"; val copy = I; val extend = I; fun merge _ tables : T = Name_Space.merge_tables tables;