# HG changeset patch
# User haftmann
# Date 1243170143 -7200
# Node ID 6ff48aa6142c7b5f4e9d9d6a934da881fffe770f
# Parent  4b99b1214034a541a738e3f012cf884636fa8df4
tuned whitespace

diff -r 4b99b1214034 -r 6ff48aa6142c src/Pure/tactic.ML
--- a/src/Pure/tactic.ML	Sun May 24 15:02:23 2009 +0200
+++ b/src/Pure/tactic.ML	Sun May 24 15:02:23 2009 +0200
@@ -19,9 +19,9 @@
   val dresolve_tac: thm list -> int -> tactic
   val atac: int -> tactic
   val rtac: thm -> int -> tactic
-  val dtac: thm -> int ->tactic
-  val etac: thm -> int ->tactic
-  val ftac: thm -> int ->tactic
+  val dtac: thm -> int -> tactic
+  val etac: thm -> int -> tactic
+  val ftac: thm -> int -> tactic
   val datac: thm -> int -> int -> tactic
   val eatac: thm -> int -> int -> tactic
   val fatac: thm -> int -> int -> tactic