| 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 |
| Sun, 11 Nov 2001 21:31:35 +0100 | wenzelm | renamed open_smart_store_thms to smart_store_thms_open; | changeset | files |
| Sun, 11 Nov 2001 21:30:51 +0100 | wenzelm | added mk_conjunction; | changeset | files |
| Sun, 11 Nov 2001 21:30:31 +0100 | wenzelm | added unflat; | changeset | files |
| Sun, 11 Nov 2001 21:30:10 +0100 | wenzelm | added conj_elim_precise, conj_intr_thm; | changeset | files |
| Sat, 10 Nov 2001 16:25:17 +0100 | wenzelm | use Tactic.prove; | changeset | files |