isabelle: Changelog

desharna [Thu, 25 Nov 2021 14:02:51 +0100] rev 74806

added asymp_{less,greater} to preorder and moved mult1_lessE out

desharna [Thu, 25 Nov 2021 12:19:50 +0100] rev 74805

renamed multp_code_iff and multeqp_code_iff

desharna [Thu, 25 Nov 2021 12:13:49 +0100] rev 74804

simplified mult_cancel_max and introduced orginal lemma as mult_cancel_max0

desharna [Thu, 25 Nov 2021 11:33:38 +0100] rev 74803

renamed Multiset.multp and Multiset.multeqp

nipkow [Wed, 17 Nov 2021 16:13:00 +0100] rev 74802

added lemmas

wenzelm [Tue, 16 Nov 2021 21:53:09 +0100] rev 74801

merged

wenzelm [Tue, 16 Nov 2021 21:47:38 +0100] rev 74800

tuned;

wenzelm [Tue, 16 Nov 2021 21:43:41 +0100] rev 74799

removed redundant test (see also 86fac52c2795, a9fea3f11cc0);

wenzelm [Tue, 16 Nov 2021 21:21:15 +0100] rev 74798

just one Presentation.State for all sessions: avoid duplication of already presented theories (very slow) and cached theory export (not very slow);

wenzelm [Tue, 16 Nov 2021 18:45:31 +0100] rev 74797

proper version;

isabelle