| Mon, 30 Jun 2003 18:15:51 +0200 | paulson | Removal of UNITY/UNITYMisc, moving its theorems elsewhere. | file | diff | annotate |
| Wed, 25 Jun 2003 13:17:26 +0200 | paulson | Conversion of UNITY/Distributor to Isar script. General tidy-up. | file | diff | annotate |
| Fri, 20 Jun 2003 18:13:16 +0200 | paulson | conversion of ClientImpl to Isar script | file | diff | annotate |
| Thu, 12 Jun 2003 16:40:59 +0200 | paulson | x-symbols (mostly) | file | diff | annotate |
| Thu, 29 May 2003 17:10:00 +0200 | paulson | Introduction of the theories UNITY/Merge, UNITY/ClientImpl | file | diff | annotate |