| Fri, 28 Feb 2025 13:50:18 +0000 |
paulson |
Some new lemmas and some tidying
|
file |
diff |
annotate
|
| Fri, 10 Jan 2025 15:11:56 +0000 |
paulson |
Correction to pretty printing for set intervals, allowing a line break if necessary for a large expression
|
file |
diff |
annotate
|
| Mon, 23 Sep 2024 21:09:23 +0200 |
wenzelm |
more inner syntax markup: HOL;
|
file |
diff |
annotate
|
| Mon, 23 Sep 2024 13:32:38 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -u mixfix_cartouches -l Pure HOL" --- to simplify systematic editing;
|
file |
diff |
annotate
|
| Sun, 25 Aug 2024 15:02:19 +0200 |
wenzelm |
more markup for syntax consts;
|
file |
diff |
annotate
|
| Thu, 08 Aug 2024 18:56:14 +0100 |
paulson |
Two little lemmas
|
file |
diff |
annotate
|
| Tue, 23 Jul 2024 15:54:43 +0100 |
paulson |
A lot of new material from the Ramsey development, including a couple of new simprules.
|
file |
diff |
annotate
|
| Fri, 02 Feb 2024 11:25:11 +0000 |
paulson |
A small number of new lemmas
|
file |
diff |
annotate
|
| Thu, 09 Nov 2023 15:11:52 +0000 |
haftmann |
slightly less technical formulation of very specific type class
|
file |
diff |
annotate
|
| Tue, 12 Sep 2023 13:54:48 +0100 |
paulson |
A little reorganisation
|
file |
diff |
annotate
|
| Wed, 05 Jul 2023 16:50:07 +0100 |
paulson |
A couple of new lemmas involving cardinality
|
file |
diff |
annotate
|
| Tue, 02 May 2023 15:17:39 +0100 |
paulson |
More new theorems, and a necessary correction
|
file |
diff |
annotate
|
| Thu, 29 Sep 2022 14:03:40 +0000 |
haftmann |
moved relevant theorems from theory Divides to theory Euclidean_Division
|
file |
diff |
annotate
|
| Fri, 22 Jul 2022 14:39:56 +0200 |
Fabian Huch |
tuned (some HOL lints, by Yecine Megdiche);
|
file |
diff |
annotate
|