Fri, 20 Jun 2003 12:10:45 +0200 |
paulson |
Adding the theory UNITY/AllocImpl.thy, with supporting lemmas
|
file |
diff |
annotate
|
Tue, 27 May 2003 11:39:03 +0200 |
paulson |
updating ZF-UNITY with Sidi's new material
|
file |
diff |
annotate
|
Fri, 24 May 2002 13:15:37 +0200 |
paulson |
conversion of Perm to Isar. Strengthening of comp_fun_apply
|
file |
diff |
annotate
|
Wed, 12 Dec 2001 20:37:31 +0100 |
wenzelm |
isatool expandshort;
|
file |
diff |
annotate
|
Fri, 16 Nov 2001 13:48:43 +0100 |
paulson |
last-minute tidying
|
file |
diff |
annotate
|
Thu, 15 Nov 2001 20:01:19 +0100 |
ehmety |
Modified to make the files build with the new changes in ZF
|
file |
diff |
annotate
|
Thu, 15 Nov 2001 15:07:16 +0100 |
ehmety |
*** empty log message ***
|
file |
diff |
annotate
|
Mon, 12 Nov 2001 10:37:36 +0100 |
berghofe |
Renamed some bound variables due to changes in simplifier.
|
file |
diff |
annotate
|
Wed, 08 Aug 2001 14:33:10 +0200 |
paulson |
new ZF/UNITY theory
|
file |
diff |
annotate
|