testboard: Changelog

nipkow [Wed, 06 May 2020 10:46:19 +0200] rev 72038

tuned

nipkow [Tue, 05 May 2020 20:32:57 +0200] rev 72037

tuned proofs

nipkow [Tue, 05 May 2020 16:44:34 +0200] rev 72036

tuned var. names

nipkow [Mon, 04 May 2020 23:34:46 +0200] rev 72035

tuned var. names

Manuel Eberl <eberlm@in.tum.de> [Mon, 04 May 2020 21:13:22 +0200] rev 72034

added simproc to eliminate propositions with 'False' in the premises

Manuel Eberl <eberlm@in.tum.de> [Mon, 04 May 2020 17:35:29 +0200] rev 72033

New HOL simproc 'datatype_no_proper_subterm'

nipkow [Mon, 04 May 2020 16:28:39 +0200] rev 72032

AVL trees with balance tags

Manuel Eberl <eberlm@in.tum.de> [Mon, 04 May 2020 17:35:29 +0200] rev 72031

New HOL simproc 'datatype_no_proper_subterm'

Manuel Eberl <eberlm@in.tum.de> [Sat, 02 May 2020 18:41:33 +0200] rev 72030

Added simproc to discharge proper subterm equalities for datatypes

paulson <lp15@cam.ac.uk> [Wed, 29 Apr 2020 15:16:17 +0100] rev 72029

A little more tidying up

testboard