TODOs

--- 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 =