| Thu, 24 Jul 2025 16:44:52 +0200 |
haftmann |
moved / rearranged lemma
|
file |
diff |
annotate
|
| Thu, 17 Jul 2025 21:06:22 +0100 |
nipkow |
moved lemma
|
file |
diff |
annotate
|
| Thu, 17 Jul 2025 20:09:42 +0100 |
nipkow |
added lemma
|
file |
diff |
annotate
|
| Thu, 03 Jul 2025 13:53:14 +0200 |
nipkow |
removed duplicate lemma; added the notion of the kernel of a function
|
file |
diff |
annotate
|
| Wed, 28 May 2025 17:49:22 +0200 |
haftmann |
more modern qualification of auxiliary operations
|
file |
diff |
annotate
|
| Wed, 07 Aug 2024 15:11:54 +0200 |
wenzelm |
tuned: more antiquotations;
|
file |
diff |
annotate
|
| Wed, 06 Mar 2024 10:39:45 +0100 |
blanchet |
more multiset lemmas
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 14:32:50 +0000 |
paulson |
Moving valuable library material from Martingales into the distribution
|
file |
diff |
annotate
|
| Thu, 19 Oct 2023 21:38:09 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 23 May 2023 21:43:36 +0200 |
wenzelm |
more uniform simproc_setup: avoid vacuous abstraction over morphism, which sometimes captures context values in its functional closure;
|
file |
diff |
annotate
|
| Tue, 09 May 2023 22:00:36 +0200 |
desharna |
added lemmas Finite_Set.bex_(min|max)_element_with_property and reordered assumptions of Finite_Set.bex_(min|max)_element
|
file |
diff |
annotate
|
| Mon, 20 Mar 2023 18:21:30 +0100 |
desharna |
added lemmas Finite_Set.bex_least_element and Finite_Set.bex_greatest_element
|
file |
diff |
annotate
|