| Thu, 06 Jul 2000 12:15:05 +0200 | kleing | new ADD instruction | file | diff | annotate |
| Wed, 28 Jun 2000 19:56:21 +0200 | kleing | tuning, eliminated rev_surj | file | diff | annotate |
| 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:54:03 +0100 | kleing | completeness of the lightweight bytecode verifier | file | diff | annotate |