src/Provers/classical.ML
changeset 30513 1796b8ea88aa
parent 30510 4120fc59dd85
child 30528 7173bf123335
--- 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