src/Pure/tactic.ML
changeset 31251 6ff48aa6142c
parent 30558 2ef9892114fd
child 31794 71af1fd6a5e4
     1.1 --- a/src/Pure/tactic.ML	Sun May 24 15:02:23 2009 +0200
     1.2 +++ b/src/Pure/tactic.ML	Sun May 24 15:02:23 2009 +0200
     1.3 @@ -19,9 +19,9 @@
     1.4    val dresolve_tac: thm list -> int -> tactic
     1.5    val atac: int -> tactic
     1.6    val rtac: thm -> int -> tactic
     1.7 -  val dtac: thm -> int ->tactic
     1.8 -  val etac: thm -> int ->tactic
     1.9 -  val ftac: thm -> int ->tactic
    1.10 +  val dtac: thm -> int -> tactic
    1.11 +  val etac: thm -> int -> tactic
    1.12 +  val ftac: thm -> int -> tactic
    1.13    val datac: thm -> int -> int -> tactic
    1.14    val eatac: thm -> int -> int -> tactic
    1.15    val fatac: thm -> int -> int -> tactic