2006-01-02 wenzelm avoid hardwired Trueprop;
2006-01-02 wenzelm added 'using' command;
2006-01-02 wenzelm updated;
2006-01-02 wenzelm added IsarImplementation;
2006-01-02 wenzelm updated -- lost update!?
2006-01-02 wenzelm * Pure/Isar: new command 'unfolding';
2006-01-02 wenzelm ISABELLE_USER for remote cvs access;
2006-01-02 wenzelm outline;
2006-01-02 wenzelm "The Isabelle/Isar Implementation" manual;
2005-12-31 wenzelm * Provers/classical: removed obsolete classical version of elim_format;
2005-12-31 wenzelm tuned forall_intr_vars;
2005-12-31 wenzelm added classical_rule, which replaces Data.make_elim;
2005-12-31 wenzelm explicitly reject consts *Goal*, *False*;
2005-12-31 wenzelm elim rules: Classical.classical_rule;
2005-12-31 wenzelm removed obsolete cla_dist_concl;
2005-12-31 wenzelm removed classical elim_format;
2005-12-31 wenzelm removed obsolete Provers/make_elim.ML;
2005-12-31 wenzelm obsolete, see classical_rule in Provers/classical.ML;
2005-12-31 wenzelm more robust phantomsection;
2005-12-30 wenzelm require cla_dist_concl, avoid assumptions about concrete syntax;
2005-12-30 wenzelm avoid implicit assumptions about consts Not, op =, *Goal*, *False*;
2005-12-30 wenzelm provide equality_name, not_name;
2005-12-30 wenzelm fixed final_consts;
2005-12-30 wenzelm provide cla_dist_concl;
2005-12-30 wenzelm non-PDF: phantomsection;
2005-12-29 haftmann added atom keyword
2005-12-29 haftmann changes in code generator keywords
2005-12-29 haftmann adaptions to changes in code generator
2005-12-29 haftmann slight improvements
2005-12-28 haftmann slightly improved serialization
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip