| Fri, 19 Jan 2001 11:53:21 +0100 | wenzelm | convert legacy tactic scripts to Isabelle/Isar tactic emulation; | changeset | files |
| Thu, 18 Jan 2001 21:41:36 +0100 | wenzelm | made SML/XL happy; | changeset | files |
| Thu, 18 Jan 2001 20:40:47 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 18 Jan 2001 20:40:33 +0100 | wenzelm | show(_i): check goal; | changeset | files |
| Thu, 18 Jan 2001 20:39:53 +0100 | wenzelm | show/thus: check_goal; | changeset | files |
| Thu, 18 Jan 2001 20:38:58 +0100 | wenzelm | show/thus: Toplevel.proof'; | changeset | files |
| Thu, 18 Jan 2001 20:38:32 +0100 | wenzelm | infix \\\\; | changeset | files |
| Thu, 18 Jan 2001 20:37:38 +0100 | wenzelm | added exists_stamp; | changeset | files |