| Wed, 29 Sep 2021 06:56:39 +0000 |
haftmann |
repaired slip
|
file |
diff |
annotate
|
| Sun, 01 Aug 2021 10:20:34 +0000 |
haftmann |
organize syntax for word operations in bundles
|
file |
diff |
annotate
|
| Sat, 17 Oct 2020 18:56:36 +0200 |
haftmann |
factored out theory Bits_Int
|
file |
diff |
annotate
|
| Thu, 18 Jun 2020 09:07:30 +0000 |
haftmann |
pragmatically ruled out word types of length zero: a bit string with no bits is not bit string at all
|
file |
diff |
annotate
|
| Sat, 20 Apr 2019 13:44:16 +0000 |
haftmann |
clarified notation
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Wed, 13 Nov 2013 19:12:15 +0100 |
haftmann |
separated comparision on bit operations into separate theory
|
file |
diff |
annotate
|
| Thu, 10 Jan 2013 18:19:13 +0100 |
berghofe |
Added proof function declarations for min and max
|
file |
diff |
annotate
|
| Sun, 25 Mar 2012 20:15:39 +0200 |
huffman |
merged fork with new numeral representation (see NEWS)
|
file |
diff |
annotate
|
| Sat, 15 Jan 2011 12:35:29 +0100 |
berghofe |
Added new SPARK verification environment.
|
file |
diff |
annotate
|