src/HOL/Library/Code_Real_Approx_By_Float.thy
2011-11-14 hoelzl 2011-11-14 remove sorry, otherwise it breaks the testboard
2011-11-14 hoelzl 2011-11-14 enforce quick_and_dirty in Code_Real_Approx_By_Float
2011-11-14 hoelzl 2011-11-14 add Code_Real_Approx_By_Float