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 |