Tue, 15 Aug 2017 11:59:32 +0100 | paulson | merged | changeset | files |
Tue, 15 Aug 2017 11:59:14 +0100 | paulson | tackling another nightmare proof | changeset | files |
Tue, 15 Aug 2017 15:28:25 +0200 | blanchet | extended TSTP type parser + tuned messages | changeset | files |