2012-09-05 | blanchet | tuning (systematic 1-based indices) | changeset | files |
2012-09-05 | blanchet | reindented code | changeset | files |
2012-09-05 | blanchet | added TODO | changeset | files |
2012-09-05 | blanchet | tell "select_prem_tac" not to thin any further premisses -- the "rotate_tac" otherwise confuses it | changeset | files |
2012-09-05 | blanchet | fixed "mk_alternate_disc_def_tac" in the case where the constructors are swapped compared with the common Nil/Cons case | changeset | files |
2012-09-05 | blanchet | don't get confused by extraneous premisses | changeset | files |
2012-09-05 | blanchet | added a check | changeset | files |
Loading... |