| Tue, 07 Jan 1997 09:00:26 +0100 | wenzelm | minor tuning; | changeset | files |
| Mon, 06 Jan 1997 17:02:09 +0100 | wenzelm | added stamp util; | changeset | files |
| Fri, 03 Jan 1997 15:25:51 +0100 | paulson | A definition of "print", unfortunately overridden by each "open PolyML" | changeset | files |
| Fri, 03 Jan 1997 15:01:55 +0100 | paulson | Implicit simpsets and clasets for FOL and ZF | changeset | files |
| Fri, 03 Jan 1997 10:48:28 +0100 | paulson | Added TFL | changeset | files |
| Fri, 03 Jan 1997 10:45:31 +0100 | paulson | Conversion to Basis Library (using prs instead of output) | changeset | files |
| Fri, 20 Dec 1996 16:10:30 +0100 | wenzelm | changed xterm geometry; | changeset | files |
| Fri, 20 Dec 1996 10:54:01 +0100 | oheimb | removed test | changeset | files |