2016-01-19 ago Manuel Eberl Added approximation of powr to NEWS/CONTRIBUTORS
2016-01-19 ago Manuel Eberl Made Approximation work for powr again
2016-01-18 ago wenzelm updated polyml;
2016-01-18 ago wenzelm tuned whitespace;
2016-01-18 ago wenzelm updated mirrors according to website;
2016-01-17 ago nipkow renamed map_of to lookup
2016-01-17 ago wenzelm more method definitions;
2016-01-16 ago wenzelm tuned syntax;
2016-01-16 ago wenzelm tuned;
2016-01-16 ago wenzelm misc tuning and modernization;
2016-01-16 ago wenzelm keep src/Doc;
2016-01-16 ago wenzelm tuned URLs according to website;
2016-01-16 ago wenzelm more symbols;
2016-01-16 ago wenzelm tuned message;
2016-01-16 ago wenzelm tuned message;
2016-01-15 ago wenzelm Added tag Isabelle2016-RC1 for changeset 155d30f721dd
2016-01-15 ago wenzelm misc updates and tuning;
2016-01-15 ago wenzelm misc updates and tuning;
2016-01-15 ago wenzelm misc updates and tuning;
2016-01-15 ago immler continuity of parameterized integral; easier-to-apply formulation of rules
2016-01-14 ago wenzelm tuned;
2016-01-14 ago wenzelm tuned;
2016-01-14 ago wenzelm tuned;
2016-01-14 ago wenzelm made SML/NJ happy;
2016-01-13 ago wenzelm removed dead code;
2016-01-13 ago wenzelm tuned syntax;
2016-01-13 ago wenzelm isabelle update_cartouches -c -t;
2016-01-13 ago wenzelm eliminated spurious Unicode;
2016-01-13 ago wenzelm clarified example;
2016-01-13 ago wenzelm updated section on "Overloaded constant definitions";
2016-01-13 ago wenzelm more doc content;
2016-01-13 ago wenzelm tuned;
2016-01-13 ago wenzelm removed old 'defs' command;
2016-01-13 ago wenzelm Eisbach works for other object-logics, e.g. Eisbach_FOL.thy;
2016-01-13 ago wenzelm more doc content;
2016-01-13 ago wenzelm merged;
2016-01-13 ago wenzelm tuned signature;
2016-01-13 ago wenzelm proper relative symlink;
2016-01-13 ago wenzelm tuned;
2016-01-13 ago wenzelm Eisbach instantiation attributes are like Thm.rule_attribute (in correspondence to Pure versions), but without the built-in treatment of free dummy thms (see also fb7756087101);
2016-01-13 ago nipkow merged
2016-01-13 ago nipkow tuned layout
2016-01-13 ago blanchet updated NEWS
2016-01-13 ago blanchet generate stronger 'rel_(co)induct' and 'coinduct' principles for mutually (co)recursive (co)datatypes
2016-01-13 ago wenzelm more good NEWS;
2016-01-12 ago wenzelm misc tuning and modernization;
2016-01-12 ago wenzelm merged
2016-01-12 ago wenzelm updated old screenshots, added new screenshots;
2016-01-12 ago wenzelm more explicit errors for control symbols that are left-over after Markdown parsing;
2016-01-12 ago wenzelm removed in anticipation of c92d82c3f41b -- demolition after renovation;
2016-01-12 ago wenzelm eliminated old defs;
2016-01-12 ago wenzelm eliminated old defs;
2016-01-12 ago wenzelm clarified axiomatization versus definitions;
2016-01-11 ago wenzelm eliminated old defs;
2016-01-11 ago wenzelm eliminated old defs;
2016-01-11 ago wenzelm eliminated old defs;
2016-01-11 ago wenzelm eliminated old defs;
2016-01-11 ago wenzelm eliminated old defs;
2016-01-11 ago wenzelm eliminated old defs;
2016-01-12 ago eberlm Deleted problematic code equation in Binomial temporarily.