| Thu, 22 Dec 2005 00:29:10 +0100 | wenzelm | prop_tr': proper handling of aprop marked as bound; | changeset | files |
| Thu, 22 Dec 2005 00:29:09 +0100 | wenzelm | consume: expand defs in prems of concls; | changeset | files |
| Thu, 22 Dec 2005 00:29:08 +0100 | wenzelm | cases: main is_proper flag; | changeset | files |
| Thu, 22 Dec 2005 00:29:07 +0100 | wenzelm | auto cases: marked improper; | changeset | files |
| Thu, 22 Dec 2005 00:29:06 +0100 | wenzelm | conjunction_tac: single goal; | changeset | files |
| Thu, 22 Dec 2005 00:29:04 +0100 | wenzelm | CONJUNCTS2; | changeset | files |
| Thu, 22 Dec 2005 00:29:03 +0100 | wenzelm | rule_context: numbered cases; | changeset | files |
| Thu, 22 Dec 2005 00:29:01 +0100 | wenzelm | conjunction_tac: single goal; | changeset | files |