src/HOL/Library/Code_Real_Approx_By_Float.thy
2013-06-23 haftmann 2013-06-23 migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
2013-06-21 hoelzl 2013-06-21 Code_Real_Approx_By_Float: remove code equations using Ratreal
2013-03-26 wenzelm 2013-03-26 tuned imports;
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