| Wed, 05 Sep 2012 11:11:26 +0200 | blanchet | added TODO | changeset | files |
| Wed, 05 Sep 2012 11:08:18 +0200 | blanchet | tell "select_prem_tac" not to thin any further premisses -- the "rotate_tac" otherwise confuses it | changeset | files |
| Wed, 05 Sep 2012 11:08:18 +0200 | blanchet | fixed "mk_alternate_disc_def_tac" in the case where the constructors are swapped compared with the common Nil/Cons case | changeset | files |
| Wed, 05 Sep 2012 11:08:18 +0200 | blanchet | don't get confused by extraneous premisses | changeset | files |
| Wed, 05 Sep 2012 11:08:18 +0200 | blanchet | added a check | changeset | files |
| Tue, 04 Sep 2012 13:06:28 +0900 | Christian Sternagel | NEWS; CONTRIBUTORS | changeset | files |
| Wed, 05 Sep 2012 13:02:25 +0200 | wenzelm | misc tuning; | changeset | files |
| Wed, 05 Sep 2012 11:19:01 +0200 | wenzelm | no need to wait 3h on macbroy30 (unlike former macbroy6, cf. 6e5b994070c1); | changeset | files |