| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Sun, 23 Dec 2018 20:51:23 +0000 | haftmann | more rules | file | diff | annotate |
| Sat, 27 Oct 2018 15:30:38 +0200 | nipkow | moved lemmas | file | diff | annotate |
| Wed, 06 Jun 2018 11:41:37 +0200 | wenzelm | proper white space; | file | diff | annotate |
| Sat, 12 May 2018 22:20:46 +0200 | haftmann | removed some non-essential rules | file | diff | annotate |
| Tue, 24 Apr 2018 14:17:58 +0000 | haftmann | proper datatype for 8-bit characters | file | diff | annotate |
| Fri, 20 Apr 2018 07:36:58 +0000 | haftmann | algebraic embeddings for bit operations | file | diff | annotate |
| Mon, 16 Apr 2018 05:34:25 +0000 | haftmann | explicit simp rules for computing abstract bit operations | file | diff | annotate |
| Thu, 05 Apr 2018 06:15:02 +0000 | haftmann | even more on bit operations | file | diff | annotate |
| Wed, 04 Apr 2018 20:52:36 +0200 | haftmann | more bit operation conversions | file | diff | annotate |
| Wed, 21 Mar 2018 19:39:24 +0100 | haftmann | tuned proof | file | diff | annotate |
| Wed, 21 Mar 2018 19:39:23 +0100 | haftmann | prefer convention to place operation name before type name | file | diff | annotate |
| Tue, 20 Mar 2018 09:27:40 +0000 | haftmann | more lemmas | file | diff | annotate |
| Tue, 20 Mar 2018 09:27:39 +0000 | haftmann | generalized | file | diff | annotate |
| Mon, 12 Mar 2018 08:25:35 +0000 | haftmann | eliminiated superfluous class semiring_bits | file | diff | annotate |
| Sat, 10 Mar 2018 19:36:59 +0000 | haftmann | abstract algebraic bit operations | file | diff | annotate |
| Mon, 08 Jan 2018 17:11:25 +0000 | paulson | moved in some material from Euler-MacLaurin | file | diff | annotate |
| Thu, 23 Nov 2017 13:00:00 +0000 | haftmann | new simp rule | file | diff | annotate |
| Sat, 11 Nov 2017 18:41:08 +0000 | haftmann | dedicated definition for coprimality | file | diff | annotate |
| Mon, 09 Oct 2017 19:10:52 +0200 | haftmann | canonical multiplicative euclidean size | file | diff | annotate |
| Mon, 09 Oct 2017 19:10:51 +0200 | haftmann | clarified parity | file | diff | annotate |
| Sun, 08 Oct 2017 22:28:22 +0200 | haftmann | more fundamental definition of div and mod on int | file | diff | annotate |
| Sun, 08 Oct 2017 22:28:22 +0200 | haftmann | one uniform type class for parity structures | file | diff | annotate |
| Sun, 08 Oct 2017 22:28:21 +0200 | haftmann | elementary definition of division on natural numbers | file | diff | annotate |
| Sun, 27 Aug 2017 06:27:01 +0200 | bulwahn | another fact on (- 1) ^ _ | file | diff | annotate |
| Wed, 04 Jan 2017 21:28:29 +0100 | haftmann | moved euclidean ring to HOL | file | diff | annotate |
| Wed, 10 Aug 2016 22:05:36 +0200 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Sat, 12 Mar 2016 22:04:52 +0100 | haftmann | model characters directly as range 0..255 | file | diff | annotate |
| Wed, 06 Jan 2016 12:18:53 +0100 | hoelzl | add the proof of the central limit theorem | file | diff | annotate |
| Mon, 07 Dec 2015 10:38:04 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |