src/HOL/Library/Code_Real_Approx_By_Float.thy
2013-02-15 haftmann 2013-02-15 two target language numeral types: integer and natural, as replacement for code_numeral; former theory HOL/Library/Code_Numeral_Types replaces HOL/Code_Numeral; refined stack of theories implementing int and/or nat by target language numerals; reduced number of target language numeral types to exactly one
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