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 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip

Generalised the type of map_poly
2016-09-29, by paulson
Merge
2016-09-28, by paulson
new material connected with HOL Light measure theory, plus more rationalisation
2016-09-28, by paulson
sequential (jobs = 1) makeall profile
2016-09-28, by Lars Hupel
syntactic type class for operation mod named after mod;
2016-09-26, by haftmann
dropped tautological pattern
2016-09-26, by haftmann
more warning comments
2016-09-26, by haftmann
more lemmas
2016-09-26, by haftmann
spelling
2016-09-26, by haftmann
a few new theorems and a renaming
2016-09-27, by paulson
use filter to define Henstock-Kurzweil integration
2016-09-26, by hoelzl
include generation time in statistics
2016-09-24, by Lars Hupel
CI script to generate timing statistics
2016-09-24, by Lars Hupel
move absolutely_integrable_on to Equivalence_Lebesgue_Henstock_Integration, now based on the Lebesgue integral
2016-09-23, by hoelzl
prove HK-integrable implies Lebesgue measurable; prove HK-integral equals Lebesgue integral for nonneg functions
2016-09-23, by hoelzl
Merge
2016-09-22, by paulson
More mainly topological results
2016-09-22, by paulson
merged
2016-09-22, by wenzelm
discontinued raw symbols;
2016-09-22, by wenzelm
raw control symbols are superseded by Latex.embed_raw;
2016-09-22, by wenzelm
\<^raw> output is intended for LaTeX;
2016-09-21, by wenzelm
more general mixfix delimiters;
2016-09-21, by wenzelm
more tight implementation of symbol explode operation (without support for raw symbols);
2016-09-21, by wenzelm
approximation: preprocessing for nat/int expressions
2016-09-21, by immler

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

isabelle