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.
compile
authorblanchet
Mon, 09 Dec 2013 04:03:30 +0100
changeset 54696 34496126a60c
parent 54695 a9efdf970720
child 54697 b08e1bbde10a
compile
src/HOL/Tools/Nitpick/nitpick_util.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Nitpick/nitpick_util.ML	Mon Dec 09 04:03:30 2013 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_util.ML	Mon Dec 09 04:03:30 2013 +0100
@@ -173,7 +173,8 @@
                                "indices unordered or out of range")
   in aux 0 js xs end
 
-fun n_fold_cartesian_product xss = Sledgehammer_Util.n_fold_cartesian_product
+fun n_fold_cartesian_product xss =
+  Sledgehammer_Util.n_fold_cartesian_product xss
 
 fun all_distinct_unordered_pairs_of [] = []
   | all_distinct_unordered_pairs_of (x :: xs) =
isabelle