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

print name in parsable form;
2016-08-09, by wenzelm
clarified bootstrap;
2016-08-09, by wenzelm
merged
2016-08-09, by nipkow
adapted ZF,FOL,CCL,LCF to modified splitter
2016-08-09, by nipkow
introduced aggressive splitter "split!"
2016-08-09, by nipkow
Tuned primes
2016-08-09, by eberlm
Merged
2016-08-09, by eberlm
is_prime -> prime
2016-08-08, by eberlm
Item_Net.retrieve_matching requires beta-eta normal form (amending 8976c5bc9e97);
2016-08-08, by wenzelm
merged
2016-08-08, by wenzelm
tuned proof;
2016-08-08, by wenzelm
tuned;
2016-08-08, by wenzelm
tuned;
2016-08-08, by wenzelm
rename HOL-Multivariate_Analysis to HOL-Analysis.
2016-08-08, by hoelzl
move measure theory from HOL-Probability to HOL-Multivariate_Analysis
2016-08-05, by hoelzl
misc tuning and modernization;
2016-08-07, by wenzelm
more informative 'prf' and 'full_prf', based on HOL/Proofs/ex/XML_Data.thy;
2016-08-06, by wenzelm
tuned signature;
2016-08-06, by wenzelm
some additions to FSet
2016-08-06, by Lars Hupel
tuned
2016-08-06, by nipkow
clarified Sidekick setup;
2016-08-05, by wenzelm
more tight filtering;
2016-08-05, by wenzelm
tuned;
2016-08-05, by wenzelm
clarified -- more standard maxidx;
2016-08-05, by wenzelm
tuned -- maxidx unused;
2016-08-05, by wenzelm
tuned;
2016-08-05, by wenzelm
tuned;
2016-08-05, by wenzelm
merged
2016-08-05, by wenzelm
misc tuning and modernization;
2016-08-05, by wenzelm
tuned whitespace;
2016-08-05, by wenzelm
Sidekick parser for isabelle-ml and sml mode;
2016-08-05, by wenzelm
prefer hardwired "nothing";
2016-08-04, by wenzelm
NEWS;
2016-08-04, by wenzelm
clarified handling of plain theory commands;
2016-08-04, by wenzelm
support for context block structure in Sidekick;
2016-08-04, by wenzelm
tuned;
2016-08-04, by wenzelm
clarified modules;
2016-08-04, by wenzelm
clarified modules;
2016-08-04, by wenzelm
merged
2016-08-05, by nipkow
added missing lemmas
2016-08-05, by nipkow
fixed floor proof
2016-08-05, by nipkow
fixed floor proofs
2016-08-05, by nipkow
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

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

isabelle