Wed, 05 Apr 2000 21:06:06 +0200 | wenzelm | Isar: simplified (more robust) goal selection of proof methods; | changeset | files |
Wed, 05 Apr 2000 21:05:20 +0200 | wenzelm | induct/case_tac emulation: optional rule; | changeset | files |
Wed, 05 Apr 2000 21:02:31 +0200 | wenzelm | HEADGOAL; | changeset | files |