Sat, 01 Dec 2001 18:50:41 +0100 | wenzelm | * HOL: the class of all HOL types is now called "type" rather than | changeset | files |
Fri, 30 Nov 2001 17:55:13 +0100 | nipkow | *** empty log message *** | changeset | files |
Fri, 30 Nov 2001 12:18:14 +0100 | paulson | minor tweaks | changeset | files |