| Sun, 04 May 2025 21:02:54 +0100 |
paulson |
two more lemmas from the AFP
|
file |
diff |
annotate
|
| Sat, 05 Apr 2025 23:51:52 +0200 |
nipkow |
Simplified lemma (as suggetsed by Stepan Holub)
|
file |
diff |
annotate
|
| Tue, 08 Oct 2024 12:10:35 +0200 |
wenzelm |
more inner-syntax markup;
|
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 22:54:56 +0200 |
wenzelm |
use nicer notation, following 783406dd051e;
|
file |
diff |
annotate
|
| Sun, 25 Aug 2024 16:00:59 +0200 |
wenzelm |
use nicer notation, following 783406dd051e;
|
file |
diff |
annotate
|
| Sun, 25 Aug 2024 15:40:07 +0200 |
wenzelm |
tuned: prefer notation for Pure.type;
|
file |
diff |
annotate
|
| Sun, 25 Aug 2024 15:02:19 +0200 |
wenzelm |
more markup for syntax consts;
|
file |
diff |
annotate
|
| Thu, 04 Apr 2024 15:29:41 +0200 |
Manuel Eberl |
moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory
|
file |
diff |
annotate
|
| Tue, 30 Jan 2024 16:39:21 +0000 |
paulson |
A few more new theorems taken from AFP entries
|
file |
diff |
annotate
|
| Wed, 01 Feb 2023 20:21:33 +0100 |
wenzelm |
isabelle update -u cite -l "";
|
file |
diff |
annotate
|
| Sun, 26 Dec 2021 11:01:27 +0000 |
paulson |
Tiny additions inspired by Roth development
|
file |
diff |
annotate
|
| Mon, 02 Aug 2021 10:01:06 +0000 |
haftmann |
moved theory Bit_Operations into Main corpus
|
file |
diff |
annotate
|
| Fri, 08 Jan 2021 19:52:10 +0100 |
Manuel Eberl |
some algebra material for HOL: characteristic of a ring, algebraic integers
|
file |
diff |
annotate
|