| Thu, 18 Jan 2001 17:38:56 +0100 | oheimb | is_class and class now as defs (rather than translations); corrected Digest.thy | file | diff | annotate |
| Tue, 21 Nov 2000 13:48:47 +0100 | kleing | adjusted for BV changes (Ok -> OK) | file | diff | annotate |
| Thu, 21 Sep 2000 12:25:07 +0200 | kleing | theorem digest of all MicroJava theorems, theories in alphabetical order | file | diff | annotate |