Sun, 11 Nov 2001 21:35:04 +0100 | wenzelm | added RAW_METHOD, RAW_METHOD_CASES; | changeset | files |
Sun, 11 Nov 2001 21:34:09 +0100 | wenzelm | added add_thmss; | changeset | files |
Sun, 11 Nov 2001 21:33:40 +0100 | wenzelm | "theorem" etc.: multiple statements; | changeset | files |
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 |