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/Nitpick/nitpick_util.ML
changeset 49206 28f222356a73
parent 48555 be4bf5f6b2ef
child 49985 5b4b0e4e5205 
--- a/src/HOL/Tools/Nitpick/nitpick_util.ML	Sat Sep 08 21:04:26 2012 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_util.ML	Sat Sep 08 21:04:26 2012 +0200
@@ -192,8 +192,10 @@
     maps (fn j => map (cons (nth xs j)) (all_permutations (nth_drop j xs)))
          (index_seq 0 (length xs))
 
+(* FIXME: use "Library.chop_groups" *)
 val chunk_list = ATP_Util.chunk_list
 
+(* FIXME: use "Library.unflat" *)
 fun chunk_list_unevenly _ [] = []
   | chunk_list_unevenly [] xs = map single xs
   | chunk_list_unevenly (k :: ks) xs =
isabelle