| changeset 33159 | 369da293bbd4 |
| parent 33096 | db3c18fd9708 |
| child 33369 | 470a7b233ee5 |
--- a/src/Pure/Isar/method.ML Sun Oct 25 11:58:11 2009 +0100 +++ b/src/Pure/Isar/method.ML Sun Oct 25 13:04:06 2009 +0100 @@ -323,7 +323,7 @@ structure Methods = TheoryDataFun ( type T = ((src -> Proof.context -> method) * string) Name_Space.table; - val empty = Name_Space.empty_table "method"; + val empty : T = Name_Space.empty_table "method"; val copy = I; val extend = I; fun merge _ tables : T = Name_Space.merge_tables tables;