| Mon, 09 Jul 2007 22:40:57 +0200 | wenzelm | declare: disallow quote (") in names; | changeset | files |
| Mon, 09 Jul 2007 22:37:48 +0200 | wenzelm | removed legacy ML file; | changeset | files |
| Mon, 09 Jul 2007 22:06:49 +0200 | wenzelm | HOL-Complex-Matrix: fixed deps -- sort of; | changeset | files |