| Sun, 11 Nov 2001 21:33:05 +0100 | wenzelm | theorem, have, show etc: multiple statements; | changeset | files |
| Sun, 11 Nov 2001 21:32:12 +0100 | wenzelm | facts: multiple args; | changeset | files |
| Sun, 11 Nov 2001 21:31:52 +0100 | wenzelm | added conjunction_tac; | changeset | files |