| Sat, 10 Nov 2007 18:36:08 +0100 | wenzelm | put_inductives: be permissive about multiple versions | changeset | files |
| Sat, 10 Nov 2007 18:36:07 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sat, 10 Nov 2007 18:36:06 +0100 | wenzelm | tuned document; | changeset | files |
| Sat, 10 Nov 2007 18:36:06 +0100 | wenzelm | Orderings.min/max: no need to qualify consts; | changeset | files |
| 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 |