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 |