src/Doc/Main/Main_Doc.thy
2015-12-27 wenzelm 2015-12-27 discontinued ASCII replacement syntax <*>;
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2015-06-01 haftmann 2015-06-01 separate class for division operator, with particular syntax added in more specific classes
2014-08-31 haftmann 2014-08-31 separated listsum material
2014-07-18 nipkow 2014-07-18 tuned
2014-02-16 blanchet 2014-02-16 folded 'Option.set' into BNF-generated 'set_option'
2014-02-14 blanchet 2014-02-14 merged 'Option.map' and 'Option.map_option'
2013-12-15 haftmann 2013-12-15 more algebraic terminology for theories about big operators
2013-12-09 wenzelm 2013-12-09 more antiquotations;
2013-08-30 nipkow 2013-08-30 more set syntax
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-03-23 haftmann 2013-03-23 fundamental revision of big operators on sets
2012-12-19 nipkow 2012-12-19 tuned infix table
2012-12-17 nipkow 2012-12-17 added table of infix operators
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;