src/Doc/IsarRef/Generic.thy
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;