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