| Sat, 19 Oct 2019 20:41:03 +0200 | haftmann | more lemmas | file | diff | annotate |
| Wed, 17 Jul 2019 14:02:42 +0100 | paulson | a few new lemmas and a bit of tidying | file | diff | annotate |
| Sun, 16 Jun 2019 16:40:57 +0000 | haftmann | even more appropriate fact name | file | diff | annotate |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | generalized type classes for parity to cover word types also, which contain zero divisors | file | diff | annotate |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | slightly more specialized name for type class | file | diff | annotate |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | dropped weaker legacy alias | file | diff | annotate |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | slightly more stringent ordering of theorems | file | diff | annotate |
| Wed, 01 May 2019 10:40:42 +0000 | haftmann | more lemmas | file | diff | annotate |
| 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 |