Tue, 11 Dec 2001 14:54:18 +0100 | berghofe | Updated. | changeset | files |
Tue, 11 Dec 2001 13:43:00 +0100 | wenzelm | oops; | changeset | files |
Mon, 10 Dec 2001 20:59:43 +0100 | wenzelm | bounded abstraction now uses syntax "%" / "\<lambda>" instead of "lam"; | changeset | files |