Fri, 05 May 2000 22:09:41 +0200 | wenzelm | GPLed; | file | diff | annotate |
Mon, 20 Mar 2000 18:48:12 +0100 | wenzelm | added prove_goalw_cterm; | file | diff | annotate |
Mon, 12 Jul 1999 22:28:56 +0200 | wenzelm | local qed; print rule; | file | diff | annotate |
Thu, 08 Jul 1999 18:36:09 +0200 | wenzelm | propp: 'concl' patterns; | file | diff | annotate |
Fri, 02 Jul 1999 19:04:32 +0200 | wenzelm | skip_proof feature 'sorry' (for quick_and_dirty mode only); | file | diff | annotate |