src/HOL/Library/Code_Binary_Nat.thy
Tue, 20 Jun 2017 13:07:47 +0200 haftmann avoid ancient [code, code del] antipattern
Sat, 17 Oct 2015 13:18:43 +0200 haftmann qualify some names stemming from internal bootstrap constructions
Fri, 04 Sep 2015 19:22:13 +0200 wenzelm modernized name space management -- more uniform qualification;
Tue, 01 Sep 2015 22:32:58 +0200 wenzelm eliminated \<Colon>;
Sat, 08 Aug 2015 10:51:33 +0200 haftmann direct bootstrap of integer division from natural division
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Fri, 14 Feb 2014 07:53:46 +0100 blanchet merged 'Option.map' and 'Option.map_option'
Sun, 18 Aug 2013 15:29:50 +0200 haftmann execution of int division by class semiring_numeral_div, replacing pdivmod by divmod_abs
Sun, 23 Jun 2013 21:16:07 +0200 haftmann migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
Fri, 15 Feb 2013 08:31:31 +0100 haftmann two target language numeral types: integer and natural, as replacement for code_numeral;
Thu, 14 Feb 2013 12:24:56 +0100 haftmann factored out shared preprocessor setup into theory Code_Abstract_Nat, tuning descriptions
Thu, 08 Nov 2012 10:02:38 +0100 haftmann refined stack of library theories implementing int and/or nat by target language numerals
less more (0) tip