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

New lemmas and a bit of tidying up.
2015-02-10, by paulson
check unused theory;
2015-02-10, by wenzelm
tuned;
2015-02-10, by wenzelm
more accurate context;
2015-02-10, by wenzelm
merged
2015-02-10, by wenzelm
misc tuning;
2015-02-10, by wenzelm
proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.;
2015-02-10, by wenzelm
indicate slow proof (approx. 20s);
2015-02-10, by wenzelm
merged
2015-02-10, by hoelzl
add bind_cond_pmf_cancel
2015-02-10, by hoelzl
add cond_map_pmf
2015-02-10, by hoelzl
introduce discrete conditional probabilities, use it to simplify bnf proof of pmf
2015-02-10, by hoelzl
tuned proof
2015-02-10, by Andreas Lochbihler
add another lemma to split nn_integral over product count_space
2015-02-10, by Andreas Lochbihler
tune proof
2015-02-10, by Andreas Lochbihler
nn_integral can be split over arbitrary product count_spaces
2015-02-10, by Andreas Lochbihler
add stronger version of lemma
2015-02-10, by Andreas Lochbihler
default abstypes and default abstract equations make technical (no_code) annotation superfluous
2015-02-06, by haftmann
careful about visibility of facts that have the same 'theory' in optimization
2015-02-06, by blanchet
non-intrusive default code setup for mappings
2015-02-06, by haftmann
slightly more standard code setup for String.literal, with explicit special case in predicate compiler
2015-02-05, by haftmann
explicit type annotation avoids problems with Haskell type inference
2015-02-05, by haftmann
more explicit hint on import order
2015-02-05, by haftmann
dropped dead code;
2015-02-05, by haftmann

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

isabelle