| Tue, 07 Dec 2010 09:36:12 +0100 | haftmann | removed experimental equality checking of closures; acknowledge underapproximation of equality in function name | file | diff | annotate |
| Fri, 26 Nov 2010 23:13:58 +0100 | haftmann | nbe decides equality of abstractions by extensionality | file | diff | annotate |
| Wed, 15 Sep 2010 13:44:10 +0200 | haftmann | more explicit theory name | file | diff | annotate | base |