| Wed, 15 Aug 2001 22:20:30 +0200 | wenzelm | support for absolute namespace entry paths; | changeset | files |
| Fri, 10 Aug 2001 10:25:45 +0200 | paulson | Updated proofs to take advantage of additional theorems proved by "typedef" | changeset | files |
| Thu, 09 Aug 2001 23:42:45 +0200 | wenzelm | removed obsolete "arities"; | changeset | files |
| Thu, 09 Aug 2001 22:07:39 +0200 | wenzelm | tuned; | changeset | files |