testboard: Changelog

paulson <lp15@cam.ac.uk> [Mon, 11 May 2020 11:15:41 +0100] rev 72050

the Uniq quantifier

haftmann [Sat, 09 May 2020 17:20:04 +0000] rev 72049

modernized notation for bit operations

nipkow [Fri, 08 May 2020 13:20:02 +0200] rev 72048

merged

nipkow [Fri, 08 May 2020 13:19:55 +0200] rev 72047

avoid hidden undef cases

haftmann [Fri, 08 May 2020 06:26:29 +0000] rev 72046

explicit mask operation for bits

haftmann [Fri, 08 May 2020 06:26:28 +0000] rev 72045

prefer _ mod 2 over of_bool (odd _)

haftmann [Fri, 08 May 2020 06:26:27 +0000] rev 72044

less aggressive default simp rules

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

New HOL simproc 'datatype_no_proper_subterm'

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

New HOL simproc 'datatype_no_proper_subterm'

eberlm <eberlm@in.tum.de> [Wed, 06 May 2020 17:41:47 +0200] rev 72041

Some lemmas about polynomials + Gauss-Lucas Theorem

testboard