| Fri, 22 Nov 1996 17:38:27 +0100 | paulson | Basis library emulation for old ML compilers | changeset | files |
| Thu, 21 Nov 1996 16:04:27 +0100 | paulson | Added warning message | changeset | files |
| Thu, 21 Nov 1996 15:28:25 +0100 | paulson | Tidied up some proofs, ... | changeset | files |
| Thu, 21 Nov 1996 15:19:09 +0100 | paulson | Minor reformatting | changeset | files |
| Thu, 21 Nov 1996 15:12:39 +0100 | paulson | Further comments on versions of SML/NJ | changeset | files |
| Wed, 20 Nov 1996 10:32:58 +0100 | nipkow | plus -> Plus to avoid hiding class plus | changeset | files |
| Tue, 19 Nov 1996 14:20:02 +0100 | wenzelm | restored changed prettyprinting of ==>; | changeset | files |