Fri, 05 Feb 1999 20:56:50 +0100 | wenzelm | Session.finish (); | changeset | files |
Fri, 05 Feb 1999 17:31:42 +0100 | paulson | tidied Schroeder-Bernstein proof | changeset | files |
Fri, 05 Feb 1999 17:31:04 +0100 | paulson | new surj rules | changeset | files |
Thu, 04 Feb 1999 18:31:57 +0100 | wenzelm | obsolete; | changeset | files |
Thu, 04 Feb 1999 18:18:19 +0100 | wenzelm | tuned; | changeset | files |
Thu, 04 Feb 1999 18:18:02 +0100 | wenzelm | include full paths in file info; | changeset | files |
Thu, 04 Feb 1999 18:17:20 +0100 | wenzelm | Symbol.use; | changeset | files |