Mon, 20 Mar 2023 22:38:40 +0100 stuebinm thingol: add instances' target types to typeclass dictionary construction draft default tip
Thu, 09 Feb 2023 13:50:09 +0100 stuebinm thingol: add return types to abstractions draft
Thu, 09 Feb 2023 13:50:09 +0100 stuebinm remove obsolete comments draft
Mon, 20 Mar 2023 18:33:56 +0100 desharna reordered assumption and tuned proof of Multiset.bex_least_element and Multiset.bex_greatest_element draft
Mon, 20 Mar 2023 18:21:30 +0100 desharna added lemmas Finite_Set.bex_least_element and Finite_Set.bex_greatest_element draft
Mon, 20 Mar 2023 15:02:17 +0100 desharna refactored proofs draft
Mon, 20 Mar 2023 15:01:59 +0100 desharna added lemmas Finite_Set.bex_min_element and Finite_Set.bex_max_element draft
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 tip