Sat, 19 Jan 2002 15:44:53 +0100 | kleing | fixed typos | changeset | files |
Fri, 18 Jan 2002 18:36:19 +0100 | wenzelm | rewrite_term: removed rew0, so no on-the-fly eta-contraction; | changeset | files |
Fri, 18 Jan 2002 18:35:39 +0100 | wenzelm | fixed document setup of HOL-Library; | changeset | files |