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

\<^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
provide more information on error
2016-09-21, by immler
approximation: rewrite for reduction to base expressions
2016-09-21, by immler
new material about topological concepts, etc
2016-09-21, by paulson
vector_add_divide_simps now a "named theorems" bundle
2016-09-21, by paulson
tuned -- fewer warnings;
2016-09-20, by wenzelm
avoid old SML90;
2016-09-20, by wenzelm
more generic algebraic lemmas
2016-09-18, by haftmann
NEWS: Normalized_Fraction.thy
2016-09-20, by eberlm
Merged
2016-09-20, by eberlm
Additions to permutations (contributed by Lukas Bulwahn)
2016-09-19, by eberlm
resolve the name clash of HOL/Library/FSet and HOL/Quotient_Examples/FSet
2016-09-19, by kuncar
# after multiset intersection and union symbol
2016-09-19, by fleury
left_distrib ~> distrib_right, right_distrib ~> distrib_left
2016-09-19, by fleury
tuned;
2016-09-19, by wenzelm
merged
2016-09-18, by wenzelm
tuned proofs;
2016-09-18, by wenzelm
merged
2016-09-18, by Lars Hupel
tuned
2016-09-18, by Lars Hupel
clarified notation: iterated quantifier is negated as one chunk;
2016-09-18, by wenzelm
tuned proofs;
2016-09-18, by wenzelm
tuned;
2016-09-18, by wenzelm
clarified notation;
2016-09-18, by wenzelm
support replicate_mset in multiset simproc
2016-09-18, by fleury
tuning multiset simproc
2016-09-18, by fleury
repair LaTeX dropout from f83ef97d8d7d
2016-09-17, by Lars Hupel
prefer abbreviation for trivial set conversion
2016-09-16, by haftmann
more lemmas
2016-09-16, by haftmann
merged
2016-09-16, by wenzelm
more symbols -- as in the printed document;
2016-09-16, by wenzelm
more symbols;
2016-09-16, by wenzelm
tuned proofs
2016-09-16, by Lars Hupel
misc updates;
2016-09-16, by wenzelm
merged
2016-09-16, by wenzelm
consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
2016-09-16, by wenzelm
merged
2016-09-16, by immler
Liminf/Limsup and filtermap
2016-09-15, by immler
benchmark doesn't need to build documents
2016-09-16, by Lars Hupel
benchmark profile runs on small worker now (6 cores)
2016-09-16, by Lars Hupel
merged
2016-09-16, by traytel
NEWS
2016-09-16, by traytel
merged
2016-09-16, by wenzelm
serious measurements require jobs = 1;
2016-09-16, by wenzelm
sessions that are relevant for routine timing measurements;
2016-09-16, by wenzelm
more uniform completion of short word: exclude single character prefix but include two chracter prefix (see also 31633e503c17);
2016-09-16, by wenzelm
move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel
2016-09-16, by hoelzl
new type for finite maps; use it in HOL-Probability
2016-09-15, by Lars Hupel
adapted to listsum -> sum_list
2016-09-15, by nipkow
merged
2016-09-15, by nipkow
renamed listsum -> sum_list, listprod ~> prod_list
2016-09-15, by nipkow
lots of new results about topology, affine dimension etc
2016-09-15, by paulson
Merge
2016-09-15, by paulson
simple new lemmas, mostly about sets
2016-09-15, by paulson
add add_eq_0_iff_both_eq_0 and zero_eq_add_iff_both_eq_0 to simp set
2016-09-15, by hoelzl
tuned;
2016-09-15, by wenzelm
merged
2016-09-14, by wenzelm
NEWS;
2016-09-14, by wenzelm

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

isabelle