| Thu, 08 Nov 2007 20:08:00 +0100 | wenzelm | eliminated illegal schematic variables in where/of; | changeset | files |
| Thu, 08 Nov 2007 20:07:58 +0100 | wenzelm | x86_64: fall back on x86 (more efficient); | changeset | files |
| Thu, 08 Nov 2007 20:07:57 +0100 | wenzelm | tuned comments; | changeset | files |
| Thu, 08 Nov 2007 14:51:31 +0100 | wenzelm | renamed ProofContext.read_const' to ProofContext.read_const_proper; | changeset | files |