| Thu, 13 Jan 2000 17:29:04 +0100 | paulson | new theorem subset_Compl_self_eq | changeset | files |
| Thu, 13 Jan 2000 15:29:52 +0100 | wenzelm | tuned comment; | changeset | files |
| Wed, 12 Jan 2000 15:58:16 +0100 | nipkow | Move some lemmas to List. | changeset | files |
| Wed, 12 Jan 2000 15:58:01 +0100 | nipkow | More lemmas. | changeset | files |
| Mon, 10 Jan 2000 17:08:41 +0100 | wenzelm | isabellesimple: avoid paragraph; | changeset | files |
| Mon, 10 Jan 2000 16:07:29 +0100 | nipkow | int:nat->int is pushed inwards. | changeset | files |
| Mon, 10 Jan 2000 16:06:43 +0100 | nipkow | Forgot to "call" MicroJava in makefile. | changeset | files |