descriptionThe Isabelle repository
ownerisabelle
last changeSun, 28 Nov 2021 09:57:48 +0100
changes
Sun, 28 Nov 2021 09:57:48 +0100 desharna restored lemmas less_multiset{DM,HO} inadvertently changed by c256bba593f3 default tip
Sat, 27 Nov 2021 22:20:27 +0100 desharna merged
Sat, 27 Nov 2021 14:45:00 +0100 desharna added lemmas irreflp_{less,greater} to preorder and {trans,irrefl}_mult{,p} to Multiset
Sat, 27 Nov 2021 10:46:57 +0100 desharna redefined less_multiset to be based on multp
Sat, 27 Nov 2021 10:28:48 +0100 desharna added lemmas multp_code_eq_multp and multeqp_code_eq_reflclp_multp
Sat, 27 Nov 2021 10:22:42 +0100 desharna added lemmas multp_cancel, multp_cancel_add_mset, and multp_cancel_max
Sat, 27 Nov 2021 10:16:46 +0100 desharna added lemmas multp_implies_one_step, one_step_implies_multp, and subset_implies_multp
Sat, 27 Nov 2021 10:05:59 +0100 desharna added lemma wfP_multp
Sat, 27 Nov 2021 10:01:40 +0100 desharna added lemma mono_multp
Fri, 26 Nov 2021 11:14:10 +0100 desharna added Multiset.multp as predicate equivalent of Multiset.mult
...
tags
Fri, 26 Nov 2021 13:36:45 +0100 Isabelle2021-1-RC4
Fri, 12 Nov 2021 17:22:06 +0100 Isabelle2021-1-RC3
Sun, 07 Nov 2021 16:30:42 +0100 Isabelle2021-1-RC2
Mon, 01 Nov 2021 15:49:03 +0100 Isabelle2021-1-RC1
Sat, 02 Oct 2021 22:11:34 +0200 Isabelle2021-1-RC0
Sat, 20 Feb 2021 13:42:37 +0100 Isabelle2021
Mon, 13 Apr 2020 22:08:14 +0200 Isabelle2020
Sat, 01 Jun 2019 11:29:59 +0200 Isabelle2019
Sun, 12 Aug 2018 14:28:28 +0200 Isabelle2018
Wed, 04 Oct 2017 12:00:53 +0200 Isabelle2017
...
bookmarks
...
branches
Sun, 28 Nov 2021 09:57:48 +0100 default
...