src/HOL/Library/Code_Real_Approx_By_Float.thy
2012-03-25 ago merged fork with new numeral representation (see NEWS)
2012-02-12 ago notepad is more appropriate here
2011-11-14 ago remove sorry, otherwise it breaks the testboard
2011-11-14 ago enforce quick_and_dirty in Code_Real_Approx_By_Float
2011-11-14 ago add Code_Real_Approx_By_Float