| Tue, 21 May 2002 13:06:36 +0200 | paulson | converted domrange to Isar and merged with equalities | changeset | files |
| Mon, 20 May 2002 12:59:59 +0200 | paulson | conversion of WF to Isar format | changeset | files |
| Mon, 20 May 2002 12:45:17 +0200 | paulson | conversion of equalities to Isar | changeset | files |
| Mon, 20 May 2002 11:45:57 +0200 | paulson | conversion of equalities and WF to Isar | changeset | files |