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 |