Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/ATP/SpassCommunication.ML
changeset 16520 7a9cda53bfa2
parent 16478 d0a1f6231e2f
child 16548 aa36ae6b955e 
--- a/src/HOL/Tools/ATP/SpassCommunication.ML	Tue Jun 21 21:41:08 2005 +0200
+++ b/src/HOL/Tools/ATP/SpassCommunication.ML	Tue Jun 21 23:44:18 2005 +0200
@@ -42,8 +42,7 @@
 (**********************************************************************)
 
 
-val atomize_tac =
-    SUBGOAL
+val atomize_tac =    SUBGOAL
      (fn (prop,_) =>
 	 let val ts = Logic.strip_assums_hyp prop
 	 in EVERY1
isabelle