| Fri, 23 May 1997 11:28:22 +0200 | wenzelm | remove cl.cam font server; | changeset | files |
| Fri, 23 May 1997 10:14:16 +0200 | wenzelm | exec the emacs; | changeset | files |
| Fri, 23 May 1997 09:20:35 +0200 | nipkow | Base theory is now Arith, not Nat. (because all datatypes now require Arith). | changeset | files |