| Thu, 22 Mar 2007 13:36:55 +0100 | krauss | cleanup | changeset | files |
| Thu, 22 Mar 2007 11:17:32 +0100 | urbanc | clarified an error-message | changeset | files |
| Thu, 22 Mar 2007 10:35:12 +0100 | urbanc | tuned some proofs | changeset | files |
| Wed, 21 Mar 2007 16:07:40 +0100 | krauss | added another rule for simultaneous induction, and lemmas for zip | changeset | files |
| Wed, 21 Mar 2007 16:06:15 +0100 | krauss | Unified function syntax | changeset | files |
| Wed, 21 Mar 2007 13:58:36 +0100 | paulson | Numerous bug fixes. Type clauses distinguished from empty clauses. Working proof reduction. | changeset | files |
| Wed, 21 Mar 2007 08:07:19 +0100 | haftmann | added example file | changeset | files |
| Tue, 20 Mar 2007 21:21:38 +0100 | gagern | Better documentation path rewriting for src dir, used in tarball build. | changeset | files |