Fri, 08 May 2020 13:20:02 +0200 merged
nipkow [Fri, 08 May 2020 13:20:02 +0200] rev 72048
merged
Fri, 08 May 2020 13:19:55 +0200 avoid hidden undef cases
nipkow [Fri, 08 May 2020 13:19:55 +0200] rev 72047
avoid hidden undef cases
Fri, 08 May 2020 06:26:29 +0000 explicit mask operation for bits
haftmann [Fri, 08 May 2020 06:26:29 +0000] rev 72046
explicit mask operation for bits
Fri, 08 May 2020 06:26:28 +0000 prefer _ mod 2 over of_bool (odd _)
haftmann [Fri, 08 May 2020 06:26:28 +0000] rev 72045
prefer _ mod 2 over of_bool (odd _)
Fri, 08 May 2020 06:26:27 +0000 less aggressive default simp rules
haftmann [Fri, 08 May 2020 06:26:27 +0000] rev 72044
less aggressive default simp rules
Mon, 04 May 2020 17:35:29 +0200 New HOL simproc 'datatype_no_proper_subterm' draft
Manuel Eberl <eberlm@in.tum.de> [Mon, 04 May 2020 17:35:29 +0200] rev 72043
New HOL simproc 'datatype_no_proper_subterm'
Mon, 04 May 2020 17:35:29 +0200 New HOL simproc 'datatype_no_proper_subterm' draft
Manuel Eberl <eberlm@in.tum.de> [Mon, 04 May 2020 17:35:29 +0200] rev 72042
New HOL simproc 'datatype_no_proper_subterm'
Wed, 06 May 2020 17:41:47 +0200 Some lemmas about polynomials + Gauss-Lucas Theorem draft
eberlm <eberlm@in.tum.de> [Wed, 06 May 2020 17:41:47 +0200] rev 72041
Some lemmas about polynomials + Gauss-Lucas Theorem
Wed, 06 May 2020 15:31:24 +0200 simplified and tuned
nipkow [Wed, 06 May 2020 15:31:24 +0200] rev 72040
simplified and tuned
Wed, 06 May 2020 13:52:01 +0200 tuned
nipkow [Wed, 06 May 2020 13:52:01 +0200] rev 72039
tuned
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip