2015-12-28 wenzelm 2015-12-28 prefer symbols for "abs";
2015-12-27 wenzelm 2015-12-27 discontinued ASCII replacement syntax <*>;
2015-12-27 wenzelm 2015-12-27 prefer symbols for "floor", "ceiling";
2015-12-27 wenzelm 2015-12-27 discontinued ASCII replacement syntax <->;
2015-12-27 wenzelm 2015-12-27 more symbols;
2015-12-27 wenzelm 2015-12-27 tuned document;
2015-12-27 wenzelm 2015-12-27 more proofs;
2015-12-27 wenzelm 2015-12-27 tuned;
2015-12-26 wenzelm 2015-12-26 more notation; more examples;
2015-12-26 wenzelm 2015-12-26 clarified sessions;
2015-12-26 wenzelm 2015-12-26 tuned;
2015-12-26 wenzelm 2015-12-26 isabelle update_cartouches -c -t;
2015-12-26 wenzelm 2015-12-26 misc tuning and modernization;
2015-12-26 wenzelm 2015-12-26 more proofs, more text;
2015-12-26 wenzelm 2015-12-26 modernized example;
2015-12-24 haftmann 2015-12-24 tuned proofs and augmented lemmas
2015-12-24 haftmann 2015-12-24 tuned proof
2015-12-23 wenzelm 2015-12-23 less ambitious test;
2015-12-23 wenzelm 2015-12-23 tuned;
2015-12-23 wenzelm 2015-12-23 clarified directory structure;
2015-12-23 wenzelm 2015-12-23 updated polyml;
2015-12-23 wenzelm 2015-12-23 clarified context policy to allow multiple dummies;
2015-12-23 wenzelm 2015-12-23 NEWS;
2015-12-23 wenzelm 2015-12-23 tuned;
2015-12-23 wenzelm 2015-12-23 merged
2015-12-23 wenzelm 2015-12-23 tuned module arrangement;
2015-12-23 wenzelm 2015-12-23 tuned module arrangement;
2015-12-23 wenzelm 2015-12-23 check and report source at most once, notably in body of "match" method;
2015-12-23 immler 2015-12-23 transfer rule for bounded_linear of blinfun
2015-12-22 immler 2015-12-22 theory for type of bounded linear functions; differentiation under the integral sign
2015-12-22 haftmann 2015-12-22 stripped some legacy
2015-12-22 haftmann 2015-12-22 tuned proofs and augmented some lemmas
2015-12-22 wenzelm 2015-12-22 more standard nesting of sub-language: Parse.text allows atomic entities without quotes;
2015-12-22 wenzelm 2015-12-22 proper full name within the name space of the method definition;
2015-12-22 wenzelm 2015-12-22 tuned signature; tuned;
2015-12-22 wenzelm 2015-12-22 isabelle update_cartouches -c -t;
2015-12-22 paulson 2015-12-22 Merge
2015-12-22 paulson 2015-12-22 Liouville theorem, Fundamental Theorem of Algebra, etc.
2015-12-22 hoelzl 2015-12-22 Weierstrass: whitespace
2015-12-22 wenzelm 2015-12-22 merged
2015-12-22 wenzelm 2015-12-22 more thorough event propagation;
2015-12-22 wenzelm 2015-12-22 tuned -- with subtle change of order of evaluation;
2015-12-22 wenzelm 2015-12-22 more accurate lookup of dynamic facts;
2015-12-22 wenzelm 2015-12-22 tuned;
2015-12-22 wenzelm 2015-12-22 tuned;
2015-12-22 wenzelm 2015-12-22 tuned signature;
2015-12-22 wenzelm 2015-12-22 tuned;
2015-12-21 hoelzl 2015-12-21 Bochner integral: prove dominated convergence at_top
2015-12-21 wenzelm 2015-12-21 dead code;
2015-12-21 wenzelm 2015-12-21 tuned spelling; tuned white-space;
2015-12-21 wenzelm 2015-12-21 merged
2015-12-21 wenzelm 2015-12-21 misc tuning and modernization;
2015-12-21 haftmann 2015-12-21 merged
2015-12-19 haftmann 2015-12-19 documentation on last state of the art concerning interpretation
2015-12-19 haftmann 2015-12-19 abandoned attempt to unify sublocale and interpretation into global theories
2015-12-21 wenzelm 2015-12-21 updated Cygwin (somewhere after 1.7.35-1);
2015-12-21 wenzelm 2015-12-21 merged
2015-12-21 wenzelm 2015-12-21 merged
2015-12-21 wenzelm 2015-12-21 tuned message;
2015-12-21 wenzelm 2015-12-21 more explicit ML profiling, with official Isabelle output;