| Sun, 16 Oct 2016 13:47:36 +0200 | haftmann | dropped potentially explosive rule for groebner simpset, with no observable effect on examples | changeset | files |
| Sun, 16 Oct 2016 13:47:35 +0200 | haftmann | simplified fact references | changeset | files |
| Sun, 16 Oct 2016 13:47:33 +0200 | haftmann | avoid effectively subsumed rules; | changeset | files |
| Sun, 16 Oct 2016 09:31:06 +0200 | haftmann | eliminated irregular aliasses | changeset | files |
| Sun, 16 Oct 2016 09:31:05 +0200 | haftmann | avoid references to lemmas designed for prover tools | changeset | files |
| Sun, 16 Oct 2016 09:31:05 +0200 | haftmann | clarified theorem names | changeset | files |
| Sun, 16 Oct 2016 09:31:05 +0200 | haftmann | eliminated irregular aliasses | changeset | files |
| Sun, 16 Oct 2016 09:31:05 +0200 | haftmann | more standardized theorem names for facts involving the div and mod identity | changeset | files |