2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.
2016-08-05 hoelzl 2016-08-05 move measure theory from HOL-Probability to HOL-Multivariate_Analysis
2016-08-07 wenzelm 2016-08-07 misc tuning and modernization;
2016-08-06 wenzelm 2016-08-06 more informative 'prf' and 'full_prf', based on HOL/Proofs/ex/XML_Data.thy;
2016-08-06 wenzelm 2016-08-06 tuned signature;
2016-08-06 Lars Hupel 2016-08-06 some additions to FSet
2016-08-06 nipkow 2016-08-06 tuned
2016-08-05 wenzelm 2016-08-05 clarified Sidekick setup;
2016-08-05 wenzelm 2016-08-05 more tight filtering;
2016-08-05 wenzelm 2016-08-05 tuned;
2016-08-05 wenzelm 2016-08-05 clarified -- more standard maxidx;
2016-08-05 wenzelm 2016-08-05 tuned -- maxidx unused;
2016-08-05 wenzelm 2016-08-05 tuned;
2016-08-05 wenzelm 2016-08-05 tuned;
2016-08-05 wenzelm 2016-08-05 merged
2016-08-05 wenzelm 2016-08-05 misc tuning and modernization;
2016-08-05 wenzelm 2016-08-05 tuned whitespace;
2016-08-05 wenzelm 2016-08-05 Sidekick parser for isabelle-ml and sml mode;
2016-08-04 wenzelm 2016-08-04 prefer hardwired "nothing";
2016-08-04 wenzelm 2016-08-04 NEWS;
2016-08-04 wenzelm 2016-08-04 clarified handling of plain theory commands;
2016-08-04 wenzelm 2016-08-04 support for context block structure in Sidekick; tuned;
2016-08-04 wenzelm 2016-08-04 tuned;
2016-08-04 wenzelm 2016-08-04 clarified modules;
2016-08-04 wenzelm 2016-08-04 clarified modules;
2016-08-05 nipkow 2016-08-05 merged
2016-08-05 nipkow 2016-08-05 added missing lemmas
2016-08-05 nipkow 2016-08-05 fixed floor proof
2016-08-05 nipkow 2016-08-05 fixed floor proofs
2016-08-05 nipkow 2016-08-05 added min_height
2016-08-05 nipkow 2016-08-05 tuned floor lemmas
2016-08-05 nipkow 2016-08-05 more lemmas
2016-08-05 hoelzl 2016-08-05 clean up prove for inter_interior_unions_intervals
2016-08-04 hoelzl 2016-08-04 HOL-Multivariate_Analysis: rename theories for more descriptive names
2016-08-04 hoelzl 2016-08-04 HOL-Multivariate_Analysis: replace neutral, monoidal, and iterate by the comm_monoid_set versions. Changed operative to comm_monoid_set. Renamed support_on to support and changed to comm_monoid_add.
2016-08-03 wenzelm 2016-08-03 include 'begin' and 'end' structure in text folds;
2016-08-02 wenzelm 2016-08-02 tuned proof;
2016-08-02 wenzelm 2016-08-02 proper latex rendering of abbrevs templates (e.g. src/HOL/Nonstandard_Analysis/HLim.thy);
2016-08-02 wenzelm 2016-08-02 more symbols;
2016-08-02 wenzelm 2016-08-02 misc tuning and modernization;
2016-08-02 wenzelm 2016-08-02 implicit keyword completion only for actual words (amending 73939a9b70a3);
2016-08-02 wenzelm 2016-08-02 merged
2016-08-02 wenzelm 2016-08-02 tuned;
2016-08-02 wenzelm 2016-08-02 tuned signature -- prover-independence is presently theoretical;
2016-08-02 wenzelm 2016-08-02 tuned;
2016-08-02 wenzelm 2016-08-02 avoid confusion with 'case' and "cases";
2016-08-02 wenzelm 2016-08-02 tuned;
2016-08-02 wenzelm 2016-08-02 clarified: 'imports' is de-facto mandatory;
2016-08-02 wenzelm 2016-08-02 support 'abbrevs' within theory header; simplified 'keywords': no abbreviations here;
2016-08-02 wenzelm 2016-08-02 tuned;
2016-08-02 immler 2016-08-02 more natural definition of type finmap
2016-08-01 wenzelm 2016-08-01 tuned proof;
2016-08-01 wenzelm 2016-08-01 misc tuning and modernization;
2016-08-01 wenzelm 2016-08-01 uniform server startup like windows and macos, for improved robustness if jEdit is terminated abruptly;
2016-08-01 wenzelm 2016-08-01 more restrictive retrieval of rules for matching instead of unification -- relevant for performance of printing terms;
2016-07-31 wenzelm 2016-07-31 misc tuning and modernization;
2016-07-31 wenzelm 2016-07-31 clarified imports;
2016-07-31 wenzelm 2016-07-31 simplified theory structure;
2016-07-31 wenzelm 2016-07-31 misc tuning and modernization;
2016-07-30 wenzelm 2016-07-30 tuned;