| 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 |
| Mon, 09 Jul 2007 17:39:55 +0200 | obua | adopted to new computing oracle and fixed bugs introduced by tuning | changeset | files |