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 |
Fri, 23 May 1997 09:18:06 +0200 | nipkow | All datatypes now require Arith. | changeset | files |
Fri, 23 May 1997 09:17:26 +0200 | nipkow | Added overloaded function `size' for all datatypes. | changeset | files |
Thu, 22 May 1997 18:29:17 +0200 | nipkow | exhaust_tac can now deal with whole terms rather than just variables. | changeset | files |