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/TPTP/mash_eval.ML
changeset 48333 2250197977dc
parent 48324 3ee5b5589402
child 48378 9e96486d53ad 
--- a/src/HOL/TPTP/mash_eval.ML	Wed Jul 18 08:44:05 2012 +0200
+++ b/src/HOL/TPTP/mash_eval.ML	Wed Jul 18 08:44:05 2012 +0200
@@ -27,7 +27,7 @@
 val max_facts_slack = 2
 
 val all_names =
-  filter_out (is_likely_tautology_or_too_meta)
+  filter_out is_likely_tautology_or_too_meta
   #> map (rpair () o Thm.get_name_hint) #> Symtab.make
 
 fun evaluate_mash_suggestions ctxt params thy file_name =
isabelle