Wed, 07 Jun 2000 17:14:19 +0200 | kleing | minor tuning for pdf documents | file | diff | annotate |
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 |