| Fri, 26 Nov 2010 23:13:58 +0100 | haftmann | nbe decides equality of abstractions by extensionality | changeset | files |
| Fri, 26 Nov 2010 23:51:34 +0100 | wenzelm | eliminated some generated comments; | changeset | files |
| Fri, 26 Nov 2010 23:41:23 +0100 | wenzelm | merged | changeset | files |