| changeset 45592 | 8baa0b7f3f66 |
| parent 44357 | 5f5649ac8235 |
| child 46922 | 3717f3878714 |
--- a/src/Pure/Isar/parse_spec.ML Sat Nov 19 17:20:17 2011 +0100 +++ b/src/Pure/Isar/parse_spec.ML Sat Nov 19 21:18:38 2011 +0100 @@ -6,7 +6,6 @@ signature PARSE_SPEC = sig - val attrib: Attrib.src parser val attribs: Attrib.src list parser val opt_attribs: Attrib.src list parser val thm_name: string -> Attrib.binding parser