src/Doc/Isar_Ref/Generic.thy
2016-09-07 wenzelm 2016-09-07 unfold_abs_def is enabled by default;
2016-08-10 nipkow 2016-08-10 "split add" -> "split". Documented new modifier "split!"
2016-07-20 wenzelm 2016-07-20 provide Pure.simp/simp_all, which only know about meta-equality;
2016-07-20 wenzelm 2016-07-20 clarified imports; tuned;
2016-04-13 wenzelm 2016-04-13 eliminated "xname" and variants;
2016-04-08 wenzelm 2016-04-08 eliminated unused simproc identifier;
2016-03-17 wenzelm 2016-03-17 obsolete;
2016-03-17 wenzelm 2016-03-17 tuned whitespace;
2016-03-17 wenzelm 2016-03-17 proper ML type;
2016-02-23 nipkow 2016-02-23 more canonical names
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2015-11-04 wenzelm 2015-11-04 more antiquotations;
2015-10-20 wenzelm 2015-10-20 isabelle update_cartouches -t;
2015-10-18 wenzelm 2015-10-18 more control symbols;
2015-10-17 wenzelm 2015-10-17 clarified nesting of paragraphs: indentation is taken into account more uniformly; tuned;
2015-10-16 wenzelm 2015-10-16 Markdown support in document text;
2015-10-14 wenzelm 2015-10-14 more symbols;
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2015-10-12 wenzelm 2015-10-12 more symbols;
2015-10-12 wenzelm 2015-10-12 proper message;
2015-06-22 wenzelm 2015-06-22 tuned;
2015-06-22 wenzelm 2015-06-22 added method "sleep";
2015-06-15 wenzelm 2015-06-15 moved sections;
2015-04-03 wenzelm 2015-04-03 obsolete (see 8b7caf447357);
2015-04-03 wenzelm 2015-04-03 more uniform "verbose" option to print name space;
2015-04-01 wenzelm 2015-04-01 misc tuning -- keep name space more clean;
2015-03-30 wenzelm 2015-03-30 more uniform syntax for named instantiations;
2015-03-23 wenzelm 2015-03-23 clarified syntax category "fixes";
2015-03-23 wenzelm 2015-03-23 tuned;
2015-03-23 wenzelm 2015-03-23 support 'for' fixes in rule_tac etc.;
2015-03-20 wenzelm 2015-03-20 tuned signature;
2015-03-04 wenzelm 2015-03-04 tuned signature -- prefer qualified names;
2015-02-10 wenzelm 2015-02-10 proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; occasionally clarified use of context;
2014-11-10 wenzelm 2014-11-10 proper context for assume_tac (atac remains as fall-back without context);
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-11 blanchet 2014-09-11 renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
2014-07-21 wenzelm 2014-07-21 clarified "simp_trace_new" and corresponding isar-ref section;
2014-07-21 wenzelm 2014-07-21 more on "Simplifier trace" (by Lars Hupel);
2014-04-15 wenzelm 2014-04-15 tuned spelling;
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485