| Sat, 10 Nov 2007 15:58:18 +0100 | wenzelm | auto_quickcheck ref: set default in ProofGeneral/preferences only | changeset | files |
| Sat, 10 Nov 2007 15:58:18 +0100 | wenzelm | ProofGeneral/preferences: auto_quickcheck=true; | changeset | files |
| Sat, 10 Nov 2007 14:36:33 +0100 | wenzelm | qualified Proofterm.proofs; | changeset | files |
| Sat, 10 Nov 2007 14:31:23 +0100 | wenzelm | @{const}: improved ProofContext.read_const does the job; | changeset | files |