Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace
authorhaftmann
Sun, 24 May 2009 15:02:23 +0200
changeset 31251 6ff48aa6142c
parent 31250 4b99b1214034
child 31252 5155117f9d66
child 31369 8b460fd12100
tuned whitespace
src/Pure/tactic.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle