| Mon, 30 Nov 2020 17:10:49 +0100 |
wenzelm |
tuned whitespace --- avoid TABs;
|
file |
diff |
annotate
|
| Wed, 23 Sep 2020 11:14:38 +0000 |
haftmann |
more thorough treatment of division, particularly signed division on int and word
|
file |
diff |
annotate
|
| Thu, 16 Apr 2020 08:09:31 +0200 |
haftmann |
more theorems
|
file |
diff |
annotate
|
| Mon, 02 Dec 2019 17:15:16 +0000 |
haftmann |
tuned material
|
file |
diff |
annotate
|
| Fri, 18 Oct 2019 18:41:33 +0000 |
haftmann |
moved quickcheck setup to distribution
|
file |
diff |
annotate
|
| Fri, 14 Jun 2019 08:34:28 +0000 |
haftmann |
more theorems for proof of concept for word type
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Sat, 08 Oct 2016 14:09:53 +0200 |
haftmann |
dedicated syntax for types with a length
|
file |
diff |
annotate
|
| Thu, 01 Sep 2016 20:59:51 +0200 |
wenzelm |
clarified session;
|
file |
diff |
annotate
| base
|