changeset 41472 | f6ab14e61604 |
parent 39557 | fe5722fce758 |
child 42083 | e1209fc7ecdc |
--- a/src/Pure/Isar/specification.ML Sat Jan 08 16:01:51 2011 +0100 +++ b/src/Pure/Isar/specification.ML Sat Jan 08 17:14:48 2011 +0100 @@ -366,7 +366,7 @@ type T = ((bool -> Proof.state -> Proof.state) * stamp) list; val empty = []; val extend = I; - fun merge hooks : T = Library.merge (eq_snd op =) hooks; + fun merge data : T = Library.merge (eq_snd op =) data; ); fun gen_theorem schematic prep_att prep_stmt