Fri, 20 Jun 2003 12:10:45 +0200 | paulson | Adding the theory UNITY/AllocImpl.thy, with supporting lemmas | file | diff | annotate |
Mon, 02 Jun 2003 11:17:52 +0200 | paulson | Further tweaks of ZF/UNITY | file | diff | annotate |
Tue, 27 May 2003 11:39:03 +0200 | paulson | updating ZF-UNITY with Sidi's new material | file | diff | annotate |
Wed, 21 Aug 2002 15:55:59 +0200 | paulson | proof can be shortened now | file | diff | annotate |
Wed, 10 Jul 2002 16:54:07 +0200 | paulson | Fixed quantified variable name preservation for ball and bex (bounded quants) | file | diff | annotate |
Wed, 12 Dec 2001 20:37:31 +0100 | wenzelm | isatool expandshort; | file | diff | annotate |
Thu, 15 Nov 2001 16:46:38 +0100 | ehmety | New files | file | diff | annotate |