Sat, 31 Oct 1998 12:46:21 +0100 | paulson | Charpentier laws | changeset | files |
Sat, 31 Oct 1998 12:45:25 +0100 | paulson | the Increasing operator | changeset | files |
Sat, 31 Oct 1998 12:43:56 +0100 | paulson | no need for int_0 | changeset | files |
Sat, 31 Oct 1998 12:42:34 +0100 | paulson | locales now implicitly quantify over free variables | changeset | files |