--- a/src/Provers/classical.ML Fri Mar 13 21:24:21 2009 +0100
+++ b/src/Provers/classical.ML Fri Mar 13 21:25:15 2009 +0100
@@ -146,7 +146,7 @@
val haz_elim: int option -> attribute
val haz_intro: int option -> attribute
val rule_del: attribute
- val cla_modifiers: (Args.T list -> (Method.modifier * Args.T list)) list
+ val cla_modifiers: Method.modifier parser list
val cla_meth: (claset -> tactic) -> thm list -> Proof.context -> Proof.method
val cla_meth': (claset -> int -> tactic) -> thm list -> Proof.context -> Proof.method
val cla_method: (claset -> tactic) -> Method.src -> Proof.context -> Proof.method