| 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 |
| Thu, 22 Dec 2005 00:29:00 +0100 | wenzelm | renamed imp_cong' to imp_cong_rule; | changeset | files |
| Thu, 22 Dec 2005 00:28:58 +0100 | wenzelm | mk_conjunction: proper treatment of bounds; | changeset | files |
| Thu, 22 Dec 2005 00:28:54 +0100 | wenzelm | fixed has_internal; | changeset | files |
| Thu, 22 Dec 2005 00:28:53 +0100 | wenzelm | Tactic.precise_conjunction_tac; | changeset | files |