src/HOL/Library/Code_Binary_Nat.thy
Thu, 26 Jun 2025 17:25:29 +0200 haftmann append (rather than prepend) code equations: the order within a theory is maintained in the resulting code
Thu, 26 Jun 2025 17:25:29 +0200 haftmann scope pending code equations to theories
Fri, 24 Jan 2025 17:53:06 +0000 paulson Tidying more old proofs
Tue, 24 Jan 2023 10:30:56 +0000 haftmann generalized theory name: euclidean division denotes one particular division definition on integers
Sun, 21 Aug 2022 06:18:23 +0000 haftmann streamlined
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
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
less more (0) -15 tip