| 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 |
| Mon, 10 Dec 2001 20:58:15 +0100 | wenzelm | updated reserved words of HOL; | changeset | files |
| Mon, 10 Dec 2001 20:57:44 +0100 | wenzelm | * HOL: bounded abstraction now uses syntax "%" / "\<lambda>" instead | changeset | files |
| Mon, 10 Dec 2001 19:14:56 +0100 | wenzelm | obsolete; | changeset | files |
| Mon, 10 Dec 2001 18:52:15 +0100 | wenzelm | removed additional blank line (confuses some versions of make); | changeset | files |
| Mon, 10 Dec 2001 18:50:01 +0100 | wenzelm | obsolete; | changeset | files |