| Thu, 18 Jan 2001 20:35:39 +0100 | wenzelm | generate index.html for pdf docs; | changeset | files |
| Thu, 18 Jan 2001 20:23:51 +0100 | oheimb | splitted Loop rule | changeset | files |
| Thu, 18 Jan 2001 18:39:43 +0100 | paulson | removed redundant proof | changeset | files |
| Thu, 18 Jan 2001 17:38:56 +0100 | oheimb | is_class and class now as defs (rather than translations); corrected Digest.thy | changeset | files |
| Tue, 16 Jan 2001 21:54:43 +0100 | wenzelm | use_output: proper handling of non-ASCII symbols; | changeset | files |
| Tue, 16 Jan 2001 21:53:57 +0100 | wenzelm | export plain_output; | changeset | files |
| Tue, 16 Jan 2001 19:22:13 +0100 | kleing | Store.thy is obsolete (newref isn't used any more) | changeset | files |
| Tue, 16 Jan 2001 19:21:21 +0100 | kleing | removed obsolete MicroJava/JVM/Store.thy | changeset | files |