src/Provers/classical.ML
changeset 30513 1796b8ea88aa
parent 30510 4120fc59dd85
child 30528 7173bf123335
     1.1 --- a/src/Provers/classical.ML	Fri Mar 13 21:24:21 2009 +0100
     1.2 +++ b/src/Provers/classical.ML	Fri Mar 13 21:25:15 2009 +0100
     1.3 @@ -146,7 +146,7 @@
     1.4    val haz_elim: int option -> attribute
     1.5    val haz_intro: int option -> attribute
     1.6    val rule_del: attribute
     1.7 -  val cla_modifiers: (Args.T list -> (Method.modifier * Args.T list)) list
     1.8 +  val cla_modifiers: Method.modifier parser list
     1.9    val cla_meth: (claset -> tactic) -> thm list -> Proof.context -> Proof.method
    1.10    val cla_meth': (claset -> int -> tactic) -> thm list -> Proof.context -> Proof.method
    1.11    val cla_method: (claset -> tactic) -> Method.src -> Proof.context -> Proof.method