| Thu, 25 Jun 1998 15:32:41 +0200 | wenzelm | Thm.rewrite_cterm; | changeset | files |
| Thu, 25 Jun 1998 15:22:05 +0200 | wenzelm | defaults for free variables hide consts of same name; | changeset | files |
| Thu, 25 Jun 1998 15:20:59 +0200 | wenzelm | added rewrite_cterm; | changeset | files |
| Thu, 25 Jun 1998 13:57:34 +0200 | paulson | Installation of target HOL-Real | changeset | files |
| Wed, 24 Jun 1998 13:59:45 +0200 | nipkow | * HOL/List: new function list_update written xs[i:=v] that updates the i-th | changeset | files |
| Wed, 24 Jun 1998 11:24:52 +0200 | paulson | Ran isatool fixgoal | changeset | files |
| Wed, 24 Jun 1998 10:33:42 +0200 | paulson | removed duplicate entry for Goal | changeset | files |