| Thu, 07 Jan 1999 10:56:05 +0100 | paulson | if-then-else syntax for ZF | changeset | files |
| Wed, 06 Jan 1999 15:00:12 +0100 | wenzelm | fixed commit spec; | changeset | files |
| Wed, 06 Jan 1999 14:21:44 +0100 | nipkow | Simplified proof. | changeset | files |
| Wed, 06 Jan 1999 13:24:33 +0100 | paulson | induct_tac and exhaust_tac | changeset | files |
| Wed, 06 Jan 1999 13:23:41 +0100 | paulson | primrec, induct_tac | changeset | files |
| Tue, 05 Jan 1999 17:30:07 +0100 | nipkow | *** empty log message *** | changeset | files |
| Tue, 05 Jan 1999 17:28:46 +0100 | nipkow | Small mods. | changeset | files |