src/Doc/IsarImplementation/Prelim.thy
2014-03-12 wenzelm 2014-03-12 added ML antiquotation @{here};
2014-03-02 wenzelm 2014-03-02 clarified names of antiquotations and markup; more documentation;
2014-01-22 wenzelm 2014-01-22 prefer rail cartouche -- avoid back-slashed quotes; proper documentation of \<newline> syntax;
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-07-30 wenzelm 2013-07-30 type theory is purely value-oriented;
2013-06-21 wenzelm 2013-06-21 clarified strings of symbols, including ML string literals;
2013-04-10 wenzelm 2013-04-10 added ML antiquotation @{theory_context};
2012-08-29 wenzelm 2012-08-29 renamed Position.str_of to Position.here;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;