Tue, 12 May 2020 10:59:59 +0200 "app" -> "join" for RBTs
nipkow [Tue, 12 May 2020 10:59:59 +0200] rev 71830
"app" -> "join" for RBTs
Tue, 12 May 2020 10:24:53 +0200 "app" -> "join" for uniformity with Join theory; tuned defs
nipkow [Tue, 12 May 2020 10:24:53 +0200] rev 71829
"app" -> "join" for uniformity with Join theory; tuned defs
Mon, 11 May 2020 19:41:31 +0200 added top-level functions and tuned
nipkow [Mon, 11 May 2020 19:41:31 +0200] rev 71828
added top-level functions and tuned
Mon, 11 May 2020 11:15:41 +0100 the Uniq quantifier
paulson <lp15@cam.ac.uk> [Mon, 11 May 2020 11:15:41 +0100] rev 71827
the Uniq quantifier
Sat, 09 May 2020 17:20:04 +0000 modernized notation for bit operations
haftmann [Sat, 09 May 2020 17:20:04 +0000] rev 71826
modernized notation for bit operations
Fri, 08 May 2020 13:20:02 +0200 merged
nipkow [Fri, 08 May 2020 13:20:02 +0200] rev 71825
merged
Fri, 08 May 2020 13:19:55 +0200 avoid hidden undef cases
nipkow [Fri, 08 May 2020 13:19:55 +0200] rev 71824
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 71823
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 71822
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 71821
less aggressive default simp rules
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip