| Thu, 07 Dec 2000 18:22:17 +0100 | kleing | updated for is_class changes | file | diff | annotate |
| Wed, 06 Dec 2000 19:09:34 +0100 | oheimb | improved superclass entry for classes and definition status of is_class, class | file | diff | annotate |
| Tue, 05 Dec 2000 14:08:56 +0100 | kleing | BCV Integration | file | diff | annotate |
| Mon, 20 Nov 2000 16:41:25 +0100 | kleing | BCV integration (type system is semilattice) | file | diff | annotate |