haftmann [Sat, 17 Dec 2016 15:22:14 +0100] rev 64593
reoriented congruence rules in non-explosive direction
haftmann [Sat, 17 Dec 2016 15:22:14 +0100] rev 64592
more fine-grained type class hierarchy for div and mod
haftmann [Sat, 17 Dec 2016 15:22:13 +0100] rev 64591
restructured matter on polynomials and normalized fractions
haftmann [Sat, 17 Dec 2016 15:22:13 +0100] rev 64590
streamlined computation rules for primality of numerals: no need to go via explicit conversion to nat
haftmann [Sat, 17 Dec 2016 15:22:13 +0100] rev 64589
tuned fact references
haftmann [Sat, 17 Dec 2016 15:22:13 +0100] rev 64588
clarified library contents
haftmann [Sat, 17 Dec 2016 15:22:13 +0100] rev 64587
standardized notation
haftmann [Sat, 17 Dec 2016 15:22:00 +0100] rev 64586
redundant
haftmann [Sat, 17 Dec 2016 15:22:00 +0100] rev 64585
renewed and spread FIXME tags on watering bin interpretation, which got partially lost in 9f089287687b
haftmann [Sat, 17 Dec 2016 15:22:00 +0100] rev 64584
added lemmas demanded by FIXMEs