testboard: Summary

description	"Misc Mercurial repositories"
owner	unknown
last change	Mon, 20 Mar 2023 22:38:40 +0100

Mon, 20 Mar 2023 22:38:40 +0100	stuebinm	thingol: add instances' target types to typeclass dictionary construction draft default tip	changeset \| files
Thu, 09 Feb 2023 13:50:09 +0100	stuebinm	thingol: add return types to abstractions draft	changeset \| files
Thu, 09 Feb 2023 13:50:09 +0100	stuebinm	remove obsolete comments draft	changeset \| files
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	changeset \| files
Mon, 20 Mar 2023 18:21:30 +0100	desharna	added lemmas Finite_Set.bex_least_element and Finite_Set.bex_greatest_element draft	changeset \| files
Mon, 20 Mar 2023 15:02:17 +0100	desharna	refactored proofs draft	changeset \| files
Mon, 20 Mar 2023 15:01:59 +0100	desharna	added lemmas Finite_Set.bex_min_element and Finite_Set.bex_max_element draft	changeset \| files
Mon, 20 Mar 2023 15:01:12 +0100	desharna	reversed import dependency between Relation and Finite_Set; and move theorems around draft	changeset \| files
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	changeset \| files
Mon, 20 Mar 2023 18:21:30 +0100	desharna	added lemmas Finite_Set.bex_least_element and Finite_Set.bex_greatest_element draft	changeset \| files
...

testboard