| Sun, 18 Dec 2016 12:34:31 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 18 Dec 2016 12:32:20 +0100 | wenzelm | more permissive syntax; | changeset | files |
| Sat, 17 Dec 2016 15:22:14 +0100 | haftmann | reoriented congruence rules in non-explosive direction | changeset | files |
| Sat, 17 Dec 2016 15:22:14 +0100 | haftmann | more fine-grained type class hierarchy for div and mod | changeset | files |
| Sat, 17 Dec 2016 15:22:13 +0100 | haftmann | restructured matter on polynomials and normalized fractions | changeset | files |
| Sat, 17 Dec 2016 15:22:13 +0100 | haftmann | streamlined computation rules for primality of numerals: no need to go via explicit conversion to nat | changeset | files |
| Sat, 17 Dec 2016 15:22:13 +0100 | haftmann | tuned fact references | changeset | files |
| Sat, 17 Dec 2016 15:22:13 +0100 | haftmann | clarified library contents | changeset | files |