src/HOL/Library/Code_Real_Approx_By_Float.thy
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2012-02-12 haftmann 2012-02-12 notepad is more appropriate here
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