Mon, 23 May 2022 10:13:08 +0200 desharna added lemma image_mset_filter_mset_swap draft default tip
Mon, 23 May 2022 10:12:19 +0200 desharna merged
Sat, 21 May 2022 14:07:24 +0000 haftmann »nil« seems to be a reserved constructor word in PolyML
Fri, 20 May 2022 11:08:33 +0200 desharna added lemmas filter_mset_cong{0,}
Tue, 17 May 2022 14:10:14 +0100 paulson tidied auto / simp with null arguments
Wed, 11 May 2022 10:42:24 +0200 wenzelm tuned signature;
Wed, 11 May 2022 09:53:29 +0200 wenzelm provide Isabelle/Electron test;
Mon, 09 May 2022 21:01:12 +0200 wenzelm tuned text;
Mon, 09 May 2022 13:41:10 +0200 wenzelm tuned text;
Fri, 06 May 2022 17:03:35 +0100 paulson Tidied up some super-messy proofs
Mon, 16 May 2022 11:16:48 +0200 desharna added lemmas image_mset_image_mset_mem_multI and multp_image_mset_image_msetI draft
Mon, 16 May 2022 11:16:48 +0200 desharna added lemma image_mset_image_mset_mem_multI from AFP/SuperCalc draft
Thu, 05 May 2022 16:39:48 +0100 paulson Added a couple of obvious simprules
Wed, 04 May 2022 07:20:20 +0200 nipkow added lemma
Fri, 22 Apr 2022 16:55:48 +0200 wenzelm tuned signature: avoid problems with scala3;
Fri, 22 Apr 2022 16:47:13 +0200 wenzelm proper indentation;
Fri, 22 Apr 2022 10:31:38 +0200 wenzelm merged
Fri, 22 Apr 2022 10:11:06 +0200 wenzelm clarified management of interpreter threads: more generic;
Thu, 21 Apr 2022 11:49:53 +0200 wenzelm clarified signature;
Thu, 21 Apr 2022 11:28:50 +0200 wenzelm clarified signature;
Thu, 21 Apr 2022 10:07:17 +0200 wenzelm clarified signature, based on hints by IntelliJ IDEA;
Thu, 21 Apr 2022 10:03:38 +0200 wenzelm tuned signature;
Sat, 09 Apr 2022 15:40:29 +0200 wenzelm more robust: avoid partiality;
Sat, 09 Apr 2022 15:35:27 +0200 wenzelm tuned;
Sat, 09 Apr 2022 15:33:38 +0200 wenzelm clarified signature;
Sat, 09 Apr 2022 15:28:55 +0200 wenzelm clarified signature;
Sat, 09 Apr 2022 14:51:54 +0200 wenzelm tuned --- avoid warnings in scala3;
Sat, 09 Apr 2022 14:29:34 +0200 wenzelm clarified signature;
Wed, 13 Apr 2022 16:53:46 +0200 blanchet pass new option only to new version of E
Mon, 11 Apr 2022 14:01:17 +0200 desharna merged
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 tip