isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

added min_height
2016-08-05, by nipkow
tuned floor lemmas
2016-08-05, by nipkow
more lemmas
2016-08-05, by nipkow
clean up prove for inter_interior_unions_intervals
2016-08-05, by hoelzl
HOL-Multivariate_Analysis: rename theories for more descriptive names
2016-08-04, by hoelzl
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-04, by hoelzl
include 'begin' and 'end' structure in text folds;
2016-08-03, by wenzelm
tuned proof;
2016-08-02, by wenzelm
proper latex rendering of abbrevs templates (e.g. src/HOL/Nonstandard_Analysis/HLim.thy);
2016-08-02, by wenzelm
more symbols;
2016-08-02, by wenzelm
misc tuning and modernization;
2016-08-02, by wenzelm
implicit keyword completion only for actual words (amending 73939a9b70a3);
2016-08-02, by wenzelm
merged
2016-08-02, by wenzelm
tuned;
2016-08-02, by wenzelm
tuned signature -- prover-independence is presently theoretical;
2016-08-02, by wenzelm
tuned;
2016-08-02, by wenzelm
avoid confusion with 'case' and "cases";
2016-08-02, by wenzelm
tuned;
2016-08-02, by wenzelm
clarified: 'imports' is de-facto mandatory;
2016-08-02, by wenzelm
support 'abbrevs' within theory header;
2016-08-02, by wenzelm
tuned;
2016-08-02, by wenzelm
more natural definition of type finmap
2016-08-02, by immler
tuned proof;
2016-08-01, by wenzelm
misc tuning and modernization;
2016-08-01, by wenzelm
uniform server startup like windows and macos, for improved robustness if jEdit is terminated abruptly;
2016-08-01, by wenzelm
more restrictive retrieval of rules for matching instead of unification -- relevant for performance of printing terms;
2016-08-01, by wenzelm
misc tuning and modernization;
2016-07-31, by wenzelm
clarified imports;
2016-07-31, by wenzelm
simplified theory structure;
2016-07-31, by wenzelm
misc tuning and modernization;
2016-07-31, by wenzelm
tuned;
2016-07-30, by wenzelm
merged
2016-07-29, by wenzelm
more accurate cong del;
2016-07-29, by wenzelm
made generation of transfer goals more robust w.r.t. dead variables
2016-07-29, by traytel
merged
2016-07-29, by Andreas Lochbihler
prefer [simp] over [iff] as [iff] break HOL-UNITY
2016-07-29, by Andreas Lochbihler
fix LaTeX error
2016-07-29, by Andreas Lochbihler
add lemmas contributed by Peter Gammie
2016-07-29, by Andreas Lochbihler
more instantiations for multiset
2016-07-29, by fleury
merged
2016-07-28, by wenzelm
misc tuning and modernization;
2016-07-28, by wenzelm
updated to jdk-8u102;
2016-07-27, by wenzelm
numerical bounds on pi
2016-07-28, by immler
more on type class hierarchy
2016-07-24, by haftmann
simplified
2016-07-24, by haftmann
text antiquotation for locales (similar to classes)
2016-07-24, by haftmann
NEWS: Primes
2016-07-27, by Manuel Eberl
honor sorts in (co)datatype declarations
2016-07-26, by traytel
misc tuning and modernization;
2016-07-26, by wenzelm
more symbols;
2016-07-25, by wenzelm
unused (see 1e9e68247ad1);
2016-07-25, by wenzelm
merged
2016-07-25, by wenzelm
misc tuning and modernization;
2016-07-22, by wenzelm
misc tuning and modernization;
2016-07-22, by wenzelm
clarified def vs. ref focus, e.g. for calculation vs. command refs;
2016-07-22, by wenzelm
entity markup for calculation;
2016-07-22, by wenzelm
tuned;
2016-07-22, by wenzelm
more markup for unstructured calculation;
2016-07-22, by wenzelm
tuned proofs -- avoid unstructured calculation;
2016-07-22, by wenzelm
tuned proofs -- avoid improper use of "this";
2016-07-22, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

isabelle