isabelle: Changelog

desharna [Fri, 20 May 2022 11:08:33 +0200] rev 75457

added lemmas filter_mset_cong{0,}

haftmann [Sat, 21 May 2022 14:07:24 +0000] rev 75456

»nil« seems to be a reserved constructor word in PolyML

paulson <lp15@cam.ac.uk> [Tue, 17 May 2022 14:10:14 +0100] rev 75455

tidied auto / simp with null arguments

wenzelm [Wed, 11 May 2022 10:42:24 +0200] rev 75454

tuned signature;

wenzelm [Wed, 11 May 2022 09:53:29 +0200] rev 75453

provide Isabelle/Electron test;

wenzelm [Mon, 09 May 2022 21:01:12 +0200] rev 75452

tuned text;

wenzelm [Mon, 09 May 2022 13:41:10 +0200] rev 75451

tuned text;

paulson <lp15@cam.ac.uk> [Fri, 06 May 2022 17:03:35 +0100] rev 75450

Tidied up some super-messy proofs

paulson <lp15@cam.ac.uk> [Thu, 05 May 2022 16:39:48 +0100] rev 75449

Added a couple of obvious simprules

nipkow [Wed, 04 May 2022 07:20:20 +0200] rev 75448

added lemma

isabelle