1.1 --- a/src/HOL/Codatatype/Tools/bnf_fp_sugar.ML	Fri Sep 14 12:09:27 2012 +0200
     1.2 +++ b/src/HOL/Codatatype/Tools/bnf_fp_sugar.ML	Fri Sep 14 12:09:27 2012 +0200
     1.3 @@ -499,6 +499,7 @@
     1.4          ((wrap, define_iter_likes), lthy')
     1.5        end;
     1.6  
     1.7 +    (* TODO: remove all "nested" and "nesting" BNFs from pre_bnfs, if they're there *)
     1.8      val pre_map_defs = map map_def_of_bnf pre_bnfs;
     1.9      val pre_set_defss = map set_defs_of_bnf pre_bnfs;
    1.10      val nesting_map_ids = map map_id_of_bnf nesting_bnfs;