src/HOL/Library/Code_Target_Numeral.thy
Sat, 05 Apr 2025 08:49:53 +0200 haftmann incorporate target-language integer implementation of bit shifts into Main
Sat, 04 Jan 2025 14:41:30 +0100 haftmann optionally use shift operations on target numerals for efficient execution
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;
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