| Mon, 09 Jul 2007 23:12:31 +0200 | wenzelm | use position.ML after pretty.ML; | changeset | files |
| Mon, 09 Jul 2007 23:12:29 +0200 | wenzelm | removed target RAW-ProofGeneral (impractical to maintain); | changeset | files |
| 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 |
| Mon, 09 Jul 2007 17:39:55 +0200 | obua | adopted to new computing oracle and fixed bugs introduced by tuning | changeset | files |