Mon, 08 Sep 2014 20:42:52 +0200 | traytel | made tactic even more robust w.r.t. dead variables | changeset | files |
Mon, 08 Sep 2014 19:21:19 +0200 | blanchet | made N2M work with sort constraints (cf. TODO) | changeset | files |
Mon, 08 Sep 2014 19:21:14 +0200 | blanchet | compile | changeset | files |