src/Doc/more_antiquote.ML
2016-07-24 haftmann 2016-07-24 simplified
2016-05-26 haftmann 2016-05-26 corrected closure scope of static_conv_thingol; clarified implementation and names
2016-05-09 wenzelm 2016-05-09 clarified context, notably for internal use of Simplifier;
2016-04-18 haftmann 2016-04-18 fragment of a HOL type class primer
2015-07-09 wenzelm 2015-07-09 clarified context;
2014-03-12 wenzelm 2014-03-12 modernized setup;
2014-01-01 haftmann 2014-01-01 explicit distinction between empty code equations and no code equations, including convenient declaration attributes
2013-04-10 wenzelm 2013-04-10 more standard module name Axclass (according to file name);
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;