src/Doc/Main/Main_Doc.thy
2017-08-15 nipkow 2017-08-15 NEWS sorted_wrt
2017-05-30 nipkow 2017-05-30 adjusted doc
2017-05-29 eberlm 2017-05-29 reorganised material on sublists
2017-05-28 nipkow 2017-05-28 introduced arg_max
2017-05-28 nipkow 2017-05-28 added is_arg_min
2017-05-28 nipkow 2017-05-28 removed LeastM; is now arg_min
2016-10-18 haftmann 2016-10-18 restored document structure after theory refactoring
2016-10-17 nipkow 2016-10-17 setprod -> prod
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-09-26 haftmann 2016-09-26 syntactic type class for operation mod named after mod; simplified assumptions of type class semiring_div
2016-09-22 wenzelm 2016-09-22 raw control symbols are superseded by Latex.embed_raw;
2016-09-16 wenzelm 2016-09-16 more symbols -- as in the printed document;
2016-09-15 nipkow 2016-09-15 adapted to listsum -> sum_list
2016-08-12 wenzelm 2016-08-12 more symbols;
2016-01-19 nipkow 2016-01-19 tuned
2015-12-30 wenzelm 2015-12-30 modernized Isabelle document markup;
2015-12-30 wenzelm 2015-12-30 clarified print modes: Isabelle symbols are used by default, but "latex" mode needs to be for some syntax forms; more standard spacing for big operators;
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;