NEWS
2004-07-11 wenzelm Simplifier and Classical Reasoner now support proof context dependent plug-ins;
2004-07-08 wenzelm tuned simprocs;
2004-07-06 schirmer * Pure/Namespace: flag unique_names added
2004-06-30 schirmer Added reference record_definition_quick_and_dirty_sensitive, to
2004-06-29 skalberg Made simplification procedures simpset-aware.
2004-06-20 wenzelm tuned;
2004-06-13 wenzelm added display_drafts and print_drafts commands;
2004-06-10 wenzelm tuned;
2004-06-10 wenzelm tuned;
2004-06-09 wenzelm * Document preparation: antiquotations provide option 'locale=NAME';
2004-06-08 paulson Groups, Rings and supporting lemmas in ZF
2004-06-06 wenzelm HOL: symbolic syntax of Eps;
2004-06-01 wenzelm removed obsolete sort 'logic';
2004-05-29 wenzelm * ML: all output via channels of writeln etc. passed through Output.output;
2004-05-21 wenzelm Pure: clear separation of logical types and nonterminals;
2004-05-10 wenzelm Pure: nested comments in inner syntax;
2004-05-06 schirmer tuned HOL/record package; enabled record_upd_simproc by default.
2004-05-06 wenzelm show_structs option;
2004-05-03 schirmer reimplementation of HOL records; only one type is created for
2004-05-01 wenzelm tuned;
2004-05-01 wenzelm improvd indexed syntax and implicit structures; tuned renaming of symbolic identifiers
2004-04-29 wenzelm HOLCF: discontinued special version of 'constdefs';
2004-04-22 wenzelm Pure: considerably improved version of 'constdefs' command;
2004-04-19 kleing add HOL4
2004-04-16 kleing added HOL-Matrix, added HOL/Matrix/ROOT.ML
2004-04-16 wenzelm Pure: 'instance' now handles general arities;
2004-04-16 berghofe Added entry for quickcheck command.
2004-04-15 wenzelm tuned;
2004-04-14 schirmer * raw control symbols are of the form \<^raw:...> now.
2004-04-13 wenzelm * Calculation commands "moreover" and "also" no longer interfere with
less more (0) -300 -100 -50 -30 tip