| Fri, 09 Feb 2001 16:23:40 +0100 | kleing | not used any more (all Isar style) | changeset | files |
| Fri, 09 Feb 2001 16:22:30 +0100 | kleing | removed MicroJava/Digest.thy | changeset | files |
| Fri, 09 Feb 2001 16:01:58 +0100 | kleing | tuned for 99-2 release | changeset | files |
| Fri, 09 Feb 2001 11:40:10 +0100 | wenzelm | unsymbolized; | changeset | files |
| Wed, 07 Feb 2001 20:57:03 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 07 Feb 2001 20:56:40 +0100 | wenzelm | improved; | changeset | files |
| Wed, 07 Feb 2001 17:40:56 +0100 | oheimb | solved non-initialization problems; improvements using prefer | changeset | files |
| Wed, 07 Feb 2001 16:37:24 +0100 | paulson | various revisions in response to comments from Tobias | changeset | files |