# HG changeset patch
# User blanchet
# Date 1347131066 -7200
# Node ID 28f222356a73a999ce2ca6635ce17e2846b34a17
# Parent  674f04c737e013dc5d5cb3dc2bd9b5015b329a47
TODOs

diff -r 674f04c737e0 -r 28f222356a73 src/HOL/Tools/Nitpick/nitpick_util.ML
--- 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 =