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
|
Mon, 30 Sep 2002 16:48:15 +0200 |
berghofe |
Adapted to new simplifier.
|
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
|
Tue, 18 Dec 2001 15:04:19 +0100 |
paulson |
better simplification makes steps redundant
|
file |
diff |
annotate
|
Wed, 12 Dec 2001 20:37:31 +0100 |
wenzelm |
isatool expandshort;
|
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
|