| Fri, 27 Jun 2003 18:40:25 +0200 |
paulson |
Conversion of theory UNITY to Isar script
|
file |
diff |
annotate
|
| Fri, 27 Jun 2003 13:15:40 +0200 |
paulson |
Conversion of AllocBase to new-style
|
file |
diff |
annotate
|
| Fri, 30 May 2003 11:44:29 +0200 |
paulson |
getting ZF/UNITY working again
|
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
|
| 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
|
| 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
|
| Wed, 08 Aug 2001 14:33:10 +0200 |
paulson |
new ZF/UNITY theory
|
file |
diff |
annotate
|