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

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

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

isabelle