| Mon, 02 Jul 2018 10:03:11 +0200 | blanchet | added Vampire component | changeset | files |
| Mon, 02 Jul 2018 10:02:44 +0200 | blanchet | added option for noncommercial Vampire | changeset | files |
| Sun, 01 Jul 2018 20:29:23 +0100 | paulson | merged | changeset | files |
| Sun, 01 Jul 2018 20:28:47 +0100 | paulson | new lemmas, de-applying, etc. | changeset | files |
| Sun, 01 Jul 2018 19:51:04 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 01 Jul 2018 19:50:33 +0200 | wenzelm | merged | changeset | files |
| Sun, 01 Jul 2018 12:38:37 +0200 | wenzelm | discontinued pending_shyps: too much complication due to lazy facts; | changeset | files |
| Sun, 01 Jul 2018 12:37:24 +0200 | wenzelm | proper error; | changeset | files |