Thu, 10 Jul 2003 17:14:41 +0200 | paulson | Changed many Intersection rules from i:I to I~=0 to avoid introducing a new | file | diff | annotate |
Fri, 27 Jun 2003 13:15:40 +0200 | paulson | Conversion of AllocBase to new-style | 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 |
Tue, 24 Jun 2003 16:32:59 +0200 | paulson | Converting ZF/UNITY to Isar | file | diff | annotate |
Fri, 20 Jun 2003 18:13:16 +0200 | paulson | conversion of ClientImpl to Isar script | file | diff | annotate |
Fri, 20 Jun 2003 12:10:45 +0200 | paulson | Adding the theory UNITY/AllocImpl.thy, with supporting lemmas | file | diff | annotate |