changeset 24464 | 58d24cbe5fa6 |
parent 24452 | 93b113c5ac33 |
child 24542 | f13c59e40617 |
--- a/src/Pure/Isar/specification.ML Tue Aug 28 18:26:48 2007 +0200 +++ b/src/Pure/Isar/specification.ML Tue Aug 28 19:45:45 2007 +0200 @@ -250,7 +250,7 @@ type T = ((bool -> Proof.state -> Proof.state) * stamp) list; val empty = []; val extend = I; - fun merge _ type_checks : T = Library.merge (eq_snd op =) type_checks; + fun merge _ hooks : T = Library.merge (eq_snd op =) hooks; ); fun gen_theorem prep_att prep_stmt