Fri, 23 Oct 1998 12:31:23 +0200 | wenzelm | started to add records; | changeset | files |
Fri, 23 Oct 1998 11:03:35 +0200 | paulson | occurs check now handles Bound variables (for soundness) | changeset | files |
Fri, 23 Oct 1998 10:38:20 +0200 | wenzelm | updated by isatool logo; | changeset | files |