| Mon, 11 Oct 2004 10:51:19 +0200 | berghofe | Some changes to allow skipping of proof scripts. | changeset | files |
| Mon, 11 Oct 2004 07:42:22 +0200 | nipkow | Proofs needed to be updated because induction now preserves name of | changeset | files |
| Mon, 11 Oct 2004 07:39:19 +0200 | nipkow | Induction now preserves the name of the induction variable. | changeset | files |
| Thu, 07 Oct 2004 15:42:30 +0200 | paulson | simplification tweaks for better arithmetic reasoning | changeset | files |
| Wed, 06 Oct 2004 13:59:33 +0200 | chaieb | *** empty log message *** | changeset | files |
| Wed, 06 Oct 2004 13:58:56 +0200 | chaieb | a very simple decision procedure for a fragment of bounded arithmetic | changeset | files |
| Wed, 06 Oct 2004 13:58:08 +0200 | chaieb | changed in order to insert Barith.thy | changeset | files |
| Tue, 05 Oct 2004 15:40:26 +0200 | paulson | auto update | changeset | files |