| Mon, 03 Dec 2001 11:46:13 +0100 | wenzelm | HOLogic.typeS; | changeset | files |
| Sat, 01 Dec 2001 18:55:41 +0100 | wenzelm | removed dead code; | changeset | files |
| Sat, 01 Dec 2001 18:52:32 +0100 | wenzelm | renamed class "term" to "type" (actually "HOL.type"); | changeset | files |
| Sat, 01 Dec 2001 18:51:46 +0100 | wenzelm | added zero--nine, euro; | changeset | files |