Sat, 05 Apr 2025 08:49:53 +0200 | haftmann | incorporate target-language integer implementation of bit shifts into Main | file | diff | annotate |
Sat, 04 Jan 2025 14:41:30 +0100 | haftmann | optionally use shift operations on target numerals for efficient execution | file | diff | annotate |
Sat, 08 Aug 2015 10:51:33 +0200 | haftmann | direct bootstrap of integer division from natural division | file | diff | annotate |
Wed, 17 Jun 2015 11:03:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
Thu, 08 Nov 2012 10:02:38 +0100 | haftmann | refined stack of library theories implementing int and/or nat by target language numerals | file | diff | annotate |