Fri, 01 Aug 2014 14:43:57 +0200 | blanchet | rationalized preplaying by eliminating (now superfluous) laziness | changeset | files |
Fri, 01 Aug 2014 14:43:57 +0200 | blanchet | removed proof methods as provers from docs | changeset | files |
Fri, 01 Aug 2014 14:43:57 +0200 | blanchet | simplified minimization logic | changeset | files |