src/HOL/Library/Code_Binary_Nat.thy
24 months ago haftmann 2017-06-20 avoid ancient [code, code del] antipattern
2015-10-17 haftmann 2015-10-17 qualify some names stemming from internal bootstrap constructions
2015-09-04 wenzelm 2015-09-04 modernized name space management -- more uniform qualification;
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2015-08-08 haftmann 2015-08-08 direct bootstrap of integer division from natural division
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-02-14 blanchet 2014-02-14 merged 'Option.map' and 'Option.map_option'
2013-08-18 haftmann 2013-08-18 execution of int division by class semiring_numeral_div, replacing pdivmod by divmod_abs
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-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
2013-02-14 haftmann 2013-02-14 factored out shared preprocessor setup into theory Code_Abstract_Nat, tuning descriptions
2012-11-08 haftmann 2012-11-08 refined stack of library theories implementing int and/or nat by target language numerals