| Thu, 16 Aug 2001 23:19:12 +0200 | wenzelm | prefer immediate monos; | changeset | files |
| 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 |