Mon, 09 Sep 2013 00:14:07 +0200 | krauss | moved cases post-processing under mk_partial_rules_mutual, using existing bookkeeping information; | changeset | files |
Sun, 08 Sep 2013 23:58:52 +0200 | krauss | clarified | changeset | files |
Sun, 08 Sep 2013 23:49:25 +0200 | krauss | clarified, dropping unreachable bool special case | changeset | files |