2016-06-22 ago wenzelm report class parameters within instantiation;
2016-06-22 ago wenzelm clarified PIDE markup;
2016-06-22 ago wenzelm tuned;
2016-06-22 ago wenzelm tuned signature;
2016-06-22 ago wenzelm bundle lifting_syntax;
2016-06-21 ago wenzelm tuned;
2016-06-21 ago wenzelm clarified derived bindings (for PIDE reports);
2016-06-21 ago wenzelm clarified rendering (amending ae9330fdbc16);
2016-06-21 ago wenzelm tuned whitespace;
2016-06-21 ago wenzelm merged
2016-06-21 ago wenzelm position information for literal facts;
2016-06-21 ago wenzelm tuned;
2016-06-21 ago wenzelm tuned;
2016-06-21 ago hoelzl Multivariate_Analysis: add continuous_on_vec_lambda
2016-06-16 ago hoelzl Probability: show that measures form a complete lattice
2016-06-15 ago hoelzl move open_Collect_eq/less to HOL
2016-06-17 ago hoelzl move Conditional_Complete_Lattices to Main
2016-06-15 ago hoelzl Probability: introduce Hahn decomposition; use it to clean up Radon_Nikodym
2016-06-14 ago hoelzl Probability: tuned headers; cleanup Radon_Nikodym
2016-06-21 ago Lars Hupel read Java system properties from ISABELLE_CI_PROPERTIES
2016-06-20 ago wenzelm merged
2016-06-20 ago wenzelm misc tuning and modernization;
2016-06-20 ago wenzelm misc tuning and modernization;
2016-06-20 ago wenzelm prefer HOL definitions;
2016-06-20 ago wenzelm tuned proof;
2016-06-20 ago wenzelm misc tuning and modernization;
2016-06-20 ago eberlm Merged
2016-06-19 ago wenzelm misc tuning and modernization;
2016-06-19 ago Lars Hupel benchmark build profile
2016-06-17 ago blanchet killed dead code
2016-06-17 ago blanchet avoid runtime warning with discriminators due to 'Code.del_eqn'
2016-06-17 ago blanchet killed deadcode
2016-06-17 ago eberlm Merged
2016-06-17 ago eberlm fps_from_poly → fps_of_poly
2016-06-17 ago blanchet be more careful before filtering out chained facts in Sledgehammer
2016-06-17 ago fleury normalising multiset theorem names
2016-06-17 ago eberlm Merged
2016-06-16 ago wenzelm tuned;
2016-06-16 ago wenzelm isabelle update_cartouches -c -t;
2016-06-16 ago wenzelm tuned;
2016-06-16 ago paulson Removed instances of ^ from theory markup
2016-06-16 ago eberlm Various additions to polynomials, FPSs, Gamma function
2016-06-15 ago paulson Urysohn's lemma, Dugundji extension theorem and many other proofs
2016-06-14 ago haftmann non-deprecated char literals for Scala
2016-06-14 ago haftmann explicit resolution of ambiguous dictionaries
2016-06-14 ago paulson Merge
2016-06-14 ago paulson new results about topology
2016-06-14 ago eberlm Merged
2016-06-14 ago wenzelm tuned;
2016-06-14 ago eberlm Integration by substitution
2016-06-13 ago wenzelm tuned;
2016-06-13 ago eberlm Integral form of Gamma function
2016-06-13 ago eberlm Facts about HK integration, complex powers, Gamma function
2016-06-13 ago Lars Hupel tuned
2016-06-13 ago wenzelm tuned;
2016-06-12 ago wenzelm tuned;
2016-06-11 ago wenzelm tuned;
2016-06-11 ago haftmann boldify syntax in abstract algebraic structures, to avoid clashes with concrete syntax in corresponding type classes
2016-06-11 ago Lars Hupel merged
2016-06-11 ago wenzelm tuned order for isar-ref;