# HG changeset patch
# User blanchet
# Date 1347131066 -7200
# Node ID e6fc5a6b152d02adb83a95849d87a6ea8767cf21
# Parent  1c5d6e2eb0c64d3f1e98a50d86868464b800ada2
comment out code that's not ready

diff -r 1c5d6e2eb0c6 -r e6fc5a6b152d src/HOL/Codatatype/Tools/bnf_fp_sugar.ML
--- a/src/HOL/Codatatype/Tools/bnf_fp_sugar.ML	Sat Sep 08 21:04:26 2012 +0200
+++ b/src/HOL/Codatatype/Tools/bnf_fp_sugar.ML	Sat Sep 08 21:04:26 2012 +0200
@@ -501,6 +501,7 @@
     fun pour_more_sugar_on_gfps ((ctrss, coiters, corecs, vs, xsss, ctr_defss, coiter_defs,
         corec_defs), lthy) =
       let
+(* NOTYET
         val gcoiters = map (lists_bmoc pgss) coiters;
         val hcorecs = map (lists_bmoc phss) corecs;
 
@@ -540,8 +541,9 @@
             map2 (fn b => fn thms =>
                 ((Binding.qualify true (Binding.name_of b) (Binding.name thmN), []), [(thms, [])]))
               bs thmss);
+*)
       in
-        lthy |> Local_Theory.notes notes |> snd
+        lthy (* NOTYET |> Local_Theory.notes notes |> snd *)
       end;
 
     val lthy' = lthy