tuned whitespace
authorhaftmann
Sun May 24 15:02:23 2009 +0200 (2009-05-24)
changeset 312516ff48aa6142c
parent 31250 4b99b1214034
child 31252 5155117f9d66
child 31369 8b460fd12100
tuned whitespace
src/Pure/tactic.ML
     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