Mon, 20 Jul 1998 16:19:49 +0200 | nipkow | Added acc_downwards | changeset | files |
Mon, 20 Jul 1998 16:04:53 +0200 | nipkow | Added simproc list_eq. | changeset | files |
Sat, 18 Jul 1998 12:41:09 +0200 | nipkow | Simplified last proof. | changeset | files |
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 |
Fri, 17 Jul 1998 11:13:59 +0200 | paulson | as in HOL | changeset | files |