Fri, 26 Nov 2010 23:14:14 +0100 | haftmann | merged | changeset | files |
Fri, 26 Nov 2010 23:13:58 +0100 | haftmann | strict forall2 | changeset | files |
Fri, 26 Nov 2010 23:13:58 +0100 | haftmann | nbe decides equality of abstractions by extensionality | changeset | files |