Tue, 05 Oct 2010 18:09:29 +0200 | krauss | force less agressively | changeset | files |
Tue, 05 Oct 2010 16:33:16 +0200 | krauss | lexicographic_order: replace parallel map with laziness to avoid wasting cycles on proofs that are not needed | changeset | files |
Tue, 05 Oct 2010 14:19:43 +0200 | krauss | removed complicated (and rarely helpful) error reporting | changeset | files |