src/Doc/IsarRef/Generic.thy
2014-01-26 wenzelm 2014-01-26 discontinued obsolete attribute "standard";
2014-01-22 wenzelm 2014-01-22 prefer rail cartouche -- avoid back-slashed quotes; proper documentation of \<newline> syntax;
2014-01-17 wenzelm 2014-01-17 clarified @{rail} syntax: prefer explicit \<newline> symbol;
2013-05-17 wenzelm 2013-05-17 renamed 'print_configs' to 'print_options';
2013-05-16 wenzelm 2013-05-16 tuned signature -- depend on context by default;
2013-04-18 wenzelm 2013-04-18 simplifier uses proper Proof.context instead of historic type simpset;
2013-04-12 wenzelm 2013-04-12 modifiers for classical wrappers operate on Proof.context instead of claset;
2012-11-17 wenzelm 2012-11-17 method setup for Classical steps;
2012-11-11 wenzelm 2012-11-11 updated unification options;
2012-11-11 wenzelm 2012-11-11 updated section on ordered rewriting;
2012-11-10 wenzelm 2012-11-10 updated subgoaler/solver/looper;
2012-11-08 wenzelm 2012-11-08 tuned;
2012-11-08 wenzelm 2012-11-08 updated explanation of rewrite rules;
2012-11-07 wenzelm 2012-11-07 (re)moved old material about Simplifier;
2012-11-07 wenzelm 2012-11-07 moved classical wrappers to IsarRef; removed somewhat pointless historic material;
2012-11-04 wenzelm 2012-11-04 avoid clash of terminology wrt. "semi-automated" in the sense of Isar (e.g. method "rule");
2012-11-04 wenzelm 2012-11-04 tuned;
2012-11-04 wenzelm 2012-11-04 more on Simplifier rules, based on old material;
2012-11-04 wenzelm 2012-11-04 refurbished Simplifier examples;
2012-11-03 wenzelm 2012-11-03 more on the Simplifier, based on old material;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;