| 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 |