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.
whitespace tuning
authorblanchet
Tue, 03 May 2011 08:52:32 +0200
changeset 42649 1f45340b1e91
parent 42648 6099b85ae48e
child 42650 552eae49f97d
whitespace tuning
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Tue May 03 08:52:16 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Tue May 03 08:52:32 2011 +0200
@@ -362,8 +362,8 @@
                       best_slices, best_type_systems, ...} : atp_config)
                     : atp_config =
   remote_config system_name system_versions proof_delims known_failures
-                hypothesis_kind formats
-                (int_average (snd o snd) o best_slices) best_type_systems
+                hypothesis_kind formats (int_average (snd o snd) o best_slices)
+                best_type_systems
 
 fun remote_atp name system_name system_versions proof_delims known_failures
                hypothesis_kind formats best_max_relevant best_type_systems =
isabelle