| Mon, 01 Jul 2024 12:59:46 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Mon, 10 Jun 2024 21:32:24 +0200 |
desharna |
renamed lemmas
|
file |
diff |
annotate
|
| Thu, 28 Mar 2024 09:40:58 +0100 |
desharna |
tuned proof
|
file |
diff |
annotate
|
| Wed, 06 Mar 2024 10:39:45 +0100 |
blanchet |
more multiset lemmas
|
file |
diff |
annotate
|
| Mon, 19 Feb 2024 14:31:26 +0100 |
blanchet |
remove selected occurrences of 'moura' tactic
|
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
|
| Wed, 10 May 2023 08:59:44 +0200 |
desharna |
added lemmas transp_on_multpHO and transp_multpHO
|
file |
diff |
annotate
|
| Wed, 10 May 2023 08:56:32 +0200 |
desharna |
tuned theory structure
|
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, 08 May 2023 11:27:11 +0200 |
desharna |
added author
|
file |
diff |
annotate
|
| Mon, 08 May 2023 11:27:03 +0200 |
desharna |
added lemma asymp_on_multpHO
|
file |
diff |
annotate
|
| Mon, 08 May 2023 11:26:04 +0200 |
desharna |
added lemmas multpHO_iff_set_mset_lessHO_set_mset and multpHO_minus_inter_minus_inter_iff
|
file |
diff |
annotate
|
| Mon, 08 May 2023 11:16:45 +0200 |
desharna |
added lemma multpHO_implies_one_step_strong
|
file |
diff |
annotate
|
| Thu, 13 Apr 2023 14:54:03 +0200 |
desharna |
added lemmas multpHO_repeat_mset_repeat_mset[simp] and multpHO_double_double[simp]
|
file |
diff |
annotate
|
| Thu, 23 Feb 2023 15:37:17 +0100 |
desharna |
added lemmas strict_subset_implies_multpDM and strict_subset_implies_multpHO
|
file |
diff |
annotate
|