| Thu, 13 Jan 2000 17:34:59 +0100 | paulson | added recursor | changeset | files |
| Thu, 13 Jan 2000 17:34:39 +0100 | paulson | change in add_thmss to suppress warning | changeset | files |
| Thu, 13 Jan 2000 17:31:30 +0100 | paulson | a bit of tidying | changeset | files |
| Thu, 13 Jan 2000 17:30:23 +0100 | paulson | working version, with Alloc now working on the same state space as the whole | changeset | files |
| 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 |