Mon, 31 Jan 2022 16:09:23 +0100 | blanchet | document new option 'max_proofs' | changeset | files |
Mon, 31 Jan 2022 16:09:23 +0100 | blanchet | crude implementation of centralized slicing | changeset | files |
Mon, 31 Jan 2022 16:09:23 +0100 | blanchet | removed obscure E option | changeset | files |