2007-11-10 wenzelm removed LocalTheory.target_naming/name;
2007-11-10 wenzelm put_inductives: be permissive about multiple versions
2007-11-10 wenzelm tuned proofs;
2007-11-10 wenzelm tuned document;
2007-11-10 wenzelm Orderings.min/max: no need to qualify consts;
2007-11-10 wenzelm auto_quickcheck ref: set default in ProofGeneral/preferences only
2007-11-10 wenzelm ProofGeneral/preferences: auto_quickcheck=true;
2007-11-10 wenzelm qualified Proofterm.proofs;
2007-11-10 wenzelm @{const}: improved ProofContext.read_const does the job;
2007-11-10 wenzelm locale_const: suppress in class body as well (prevents qualified printing);
2007-11-10 wenzelm notation: improved ProofContext.read_const does the job;
2007-11-10 wenzelm updated;
2007-11-10 wenzelm replaced @{const} (allows name only) by proper @{term};
2007-11-09 haftmann proper implementation of check phase; non-qualified names for class operations
2007-11-09 haftmann explicit message for failed autoquickcheck
2007-11-09 wenzelm tyabbr/syntax/consts: replaced obsolete read_typ by Syntax.parse_typ/certify_typ;
Loading...
(0) -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip