| Tue, 04 Jul 2006 19:49:51 +0200 | wenzelm | added map_proof_terms_option; | changeset | files |
| Tue, 04 Jul 2006 19:49:50 +0200 | wenzelm | added generalize; | changeset | files |
| Tue, 04 Jul 2006 19:49:49 +0200 | wenzelm | Thm.varifyT; | changeset | files |
| Tue, 04 Jul 2006 19:49:47 +0200 | wenzelm | added ex/Guess.thy; | changeset | files |
| Tue, 04 Jul 2006 18:39:59 +0200 | wenzelm | skip_proofs: do not skip proofs of schematic goals (warning); | changeset | files |
| Tue, 04 Jul 2006 18:39:58 +0200 | wenzelm | added schematic_goal; | changeset | files |
| Tue, 04 Jul 2006 18:39:57 +0200 | wenzelm | added 'unfolding'; | changeset | files |