Fri, 17 Jul 1998 11:25:20 +0200 | paulson | ZF: Main, Update | changeset | files |
Fri, 17 Jul 1998 11:24:09 +0200 | paulson | added case_tac to be like HOL | changeset | files |
Fri, 17 Jul 1998 11:23:17 +0200 | paulson | added Main and Update | changeset | files |