| Sun, 16 Oct 2016 13:27:01 +0200 | wenzelm | clarified setup_repository: more uniform pull vs. clone, without update; | changeset | files |
| Sun, 16 Oct 2016 13:11:47 +0200 | wenzelm | proper setup of fresh repository; | changeset | files |
| Sun, 16 Oct 2016 13:47:37 +0200 | haftmann | clarified prover-specific rules | changeset | files |
| 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 |