| Thu, 07 Dec 2000 17:22:24 +0100 | kleing | fixed and cleaned up wt[l]_jvm_prog proofs | changeset | files |
| Thu, 07 Dec 2000 17:09:15 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 07 Dec 2000 16:23:10 +0100 | kleing | update for changes in Correct.thy and class/is_class defs | changeset | files |