| Wed, 31 May 2000 18:06:02 +0200 | kleing | switched to Isar proofs | file | diff | annotate |
| Thu, 09 Mar 2000 13:56:54 +0100 | kleing | tuned for completeness of LBV | file | diff | annotate |
| Tue, 15 Feb 2000 17:51:11 +0100 | kleing | lightweight bytecode verifier with correctness proof | file | diff | annotate |