src/Doc/more_antiquote.ML
2018-02-23 wenzelm added HOLogic.mk_obj_eq convenience and eliminated some clones;
2018-01-25 wenzelm clarified signature: items with \isasep are special;
2018-01-19 wenzelm adapted to a5ca98950a91;
2018-01-18 wenzelm clarified access to antiquotation options;
2018-01-09 wenzelm clarified modules;
2016-07-24 haftmann simplified
2016-05-26 haftmann corrected closure scope of static_conv_thingol;
2016-05-09 wenzelm clarified context, notably for internal use of Simplifier;
2016-04-18 haftmann fragment of a HOL type class primer
2015-07-08 wenzelm clarified context;
2014-03-12 wenzelm modernized setup;
2014-01-01 haftmann explicit distinction between empty code equations and no code equations, including convenient declaration attributes
2013-04-10 wenzelm more standard module name Axclass (according to file name);
2012-08-28 wenzelm renamed doc-src to src/Doc;
less more (0) tip