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