| Thu, 25 Nov 2021 12:13:49 +0100 | desharna | simplified mult_cancel_max and introduced orginal lemma as mult_cancel_max0 | changeset | files |
| Thu, 25 Nov 2021 11:33:38 +0100 | desharna | renamed Multiset.multp and Multiset.multeqp | changeset | files |
| Wed, 17 Nov 2021 16:13:00 +0100 | nipkow | added lemmas | changeset | files |
| Tue, 16 Nov 2021 21:53:09 +0100 | wenzelm | merged | changeset | files |
| Tue, 16 Nov 2021 21:47:38 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 16 Nov 2021 21:43:41 +0100 | wenzelm | removed redundant test (see also 86fac52c2795, a9fea3f11cc0); | changeset | files |
| Tue, 16 Nov 2021 21:21:15 +0100 | wenzelm | just one Presentation.State for all sessions: avoid duplication of already presented theories (very slow) and cached theory export (not very slow); | changeset | files |