Thu, 20 Sep 2012 02:42:48 +0200 | blanchet | don't define relators unless necessary | changeset | files |
Thu, 20 Sep 2012 02:42:48 +0200 | blanchet | moved predicator definition before after_qed | changeset | files |
Thu, 20 Sep 2012 02:42:48 +0200 | blanchet | add rel as first-class citizen of BNF | changeset | files |
Thu, 20 Sep 2012 02:42:48 +0200 | blanchet | renamed "rel_def" to "rel_O_Gr" | changeset | files |
Thu, 20 Sep 2012 02:42:48 +0200 | blanchet | renamed "sum_setl" to "setl" and similarly for r | changeset | files |
Thu, 20 Sep 2012 02:42:48 +0200 | blanchet | tuned ID/DEADID setup | changeset | files |