2016-01-18 wenzelm 2016-01-18 updated mirrors according to website;
2016-01-17 nipkow 2016-01-17 renamed map_of to lookup
2016-01-17 wenzelm 2016-01-17 more method definitions;
2016-01-16 wenzelm 2016-01-16 tuned syntax;
2016-01-16 wenzelm 2016-01-16 tuned;
2016-01-16 wenzelm 2016-01-16 misc tuning and modernization;
2016-01-16 wenzelm 2016-01-16 keep src/Doc;
2016-01-16 wenzelm 2016-01-16 tuned URLs according to website;
2016-01-16 wenzelm 2016-01-16 more symbols;
2016-01-16 wenzelm 2016-01-16 tuned message;
2016-01-16 wenzelm 2016-01-16 tuned message;
2016-01-15 wenzelm 2016-01-15 Added tag Isabelle2016-RC1 for changeset 155d30f721dd
2016-01-15 wenzelm 2016-01-15 misc updates and tuning; more on "Output" versus "Proof state";
2016-01-15 wenzelm 2016-01-15 misc updates and tuning;
2016-01-15 wenzelm 2016-01-15 misc updates and tuning;
2016-01-15 immler 2016-01-15 continuity of parameterized integral; easier-to-apply formulation of rules
2016-01-14 wenzelm 2016-01-14 tuned;
2016-01-14 wenzelm 2016-01-14 tuned;
2016-01-14 wenzelm 2016-01-14 tuned;
2016-01-14 wenzelm 2016-01-14 made SML/NJ happy;
2016-01-13 wenzelm 2016-01-13 removed dead code;
2016-01-13 wenzelm 2016-01-13 tuned syntax;
2016-01-13 wenzelm 2016-01-13 isabelle update_cartouches -c -t;
2016-01-13 wenzelm 2016-01-13 eliminated spurious Unicode;
2016-01-13 wenzelm 2016-01-13 clarified example;
2016-01-13 wenzelm 2016-01-13 updated section on "Overloaded constant definitions";
2016-01-13 wenzelm 2016-01-13 more doc content;
2016-01-13 wenzelm 2016-01-13 tuned;
2016-01-13 wenzelm 2016-01-13 removed old 'defs' command;
2016-01-13 wenzelm 2016-01-13 Eisbach works for other object-logics, e.g. Eisbach_FOL.thy;
2016-01-13 wenzelm 2016-01-13 more doc content;
2016-01-13 wenzelm 2016-01-13 merged;
2016-01-13 wenzelm 2016-01-13 tuned signature;
2016-01-13 wenzelm 2016-01-13 proper relative symlink;
2016-01-13 wenzelm 2016-01-13 tuned;
2016-01-13 wenzelm 2016-01-13 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 nipkow 2016-01-13 merged
2016-01-13 nipkow 2016-01-13 tuned layout
2016-01-13 blanchet 2016-01-13 updated NEWS
2016-01-13 blanchet 2016-01-13 generate stronger 'rel_(co)induct' and 'coinduct' principles for mutually (co)recursive (co)datatypes
2016-01-13 wenzelm 2016-01-13 more good NEWS;
2016-01-12 wenzelm 2016-01-12 misc tuning and modernization;
2016-01-12 wenzelm 2016-01-12 merged
2016-01-12 wenzelm 2016-01-12 updated old screenshots, added new screenshots;
2016-01-12 wenzelm 2016-01-12 more explicit errors for control symbols that are left-over after Markdown parsing;
2016-01-12 wenzelm 2016-01-12 removed in anticipation of c92d82c3f41b -- demolition after renovation;
2016-01-12 wenzelm 2016-01-12 eliminated old defs;
2016-01-12 wenzelm 2016-01-12 eliminated old defs;
2016-01-12 wenzelm 2016-01-12 clarified axiomatization versus definitions; eliminated old defs; more symbols;
2016-01-11 wenzelm 2016-01-11 eliminated old defs;
2016-01-11 wenzelm 2016-01-11 eliminated old defs;
2016-01-11 wenzelm 2016-01-11 eliminated old defs;
2016-01-11 wenzelm 2016-01-11 eliminated old defs;
2016-01-11 wenzelm 2016-01-11 eliminated old defs;
2016-01-11 wenzelm 2016-01-11 eliminated old defs;
2016-01-12 eberlm 2016-01-12 Deleted problematic code equation in Binomial temporarily.
2016-01-12 Andreas Lochbihler 2016-01-12 add reference
2016-01-12 Andreas Lochbihler 2016-01-12 merged
2016-01-12 Andreas Lochbihler 2016-01-12 add BNF instance for Dlist
2016-01-12 paulson 2016-01-12 crediting LCP in CONTRIBUTORS