testboard: Changelog

stuebinm <stuebinm@disroot.org> [Mon, 20 Mar 2023 22:38:40 +0100] rev 78369

thingol: add instances' target types to typeclass dictionary construction

stuebinm <stuebinm@disroot.org> [Thu, 09 Feb 2023 13:50:09 +0100] rev 78368

thingol: add return types to abstractions (needed for codegen in some languages, e.g. Go)

stuebinm <stuebinm@disroot.org> [Thu, 09 Feb 2023 13:50:09 +0100] rev 78367

remove obsolete comments

desharna [Mon, 20 Mar 2023 18:33:56 +0100] rev 78366

reordered assumption and tuned proof of Multiset.bex_least_element and Multiset.bex_greatest_element

desharna [Mon, 20 Mar 2023 18:21:30 +0100] rev 78365

added lemmas Finite_Set.bex_least_element and Finite_Set.bex_greatest_element

desharna [Mon, 20 Mar 2023 15:02:17 +0100] rev 78364

refactored proofs

desharna [Mon, 20 Mar 2023 15:01:59 +0100] rev 78363

added lemmas Finite_Set.bex_min_element and Finite_Set.bex_max_element

testboard