testboard: Changelog

paulson [Thu, 05 Nov 2020 19:09:11 +0000] rev 72782

merged

nipkow [Thu, 05 Nov 2020 11:36:18 +0100] rev 72781

eliminate add_mset

haftmann [Wed, 04 Nov 2020 07:39:17 +0000] rev 72780

NEWS and CONTRIBUTORS

paulson <lp15@cam.ac.uk> [Thu, 05 Nov 2020 19:09:02 +0000] rev 72779

cleanup and de-applying

nipkow [Tue, 03 Nov 2020 12:57:18 +0100] rev 72778

added lemma

nipkow [Tue, 03 Nov 2020 11:09:22 +0100] rev 72777

tuned: t -> T

nipkow [Mon, 02 Nov 2020 23:37:51 +0100] rev 72776

tuned defs and proofs

wenzelm [Mon, 02 Nov 2020 16:50:22 +0100] rev 72775

tuned;

wenzelm [Mon, 02 Nov 2020 13:59:05 +0100] rev 72774

back to normal;

nipkow [Mon, 02 Nov 2020 11:45:50 +0100] rev 72773

use min_height as in (much of?) the literature

testboard