| 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 |
| Tue, 05 Oct 2010 14:19:40 +0200 | krauss | discontinued continuations to simplify control flow; dropped optimization in scnp | changeset | files |
| Tue, 05 Oct 2010 14:19:38 +0200 | krauss | use Cache structure instead of passing tables around explicitly | changeset | files |
| Tue, 05 Oct 2010 11:45:16 +0200 | haftmann | merged | changeset | files |
| Tue, 05 Oct 2010 11:37:42 +0200 | haftmann | lemmas fold_commute and fold_commute_apply | changeset | files |
| Fri, 07 May 2010 15:36:03 +0200 | krauss | spelling | changeset | files |