| 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 |