2017-04-09 wenzelm 2017-04-09 clarified main CTT.thy, and avoid name clash with global HOL/Main.thy;
2016-07-15 wenzelm 2016-07-15 misc tuning and modernization; proper document setup;
2014-11-11 wenzelm 2014-11-11 simplifie sessions;
2013-03-12 wenzelm 2013-03-12 refurbished some old README.html files as session descriptions, which show up in chapter index;
2013-03-11 wenzelm 2013-03-11 support for 'chapter' specifications within session ROOT;
2012-08-08 wenzelm 2012-08-08 simplified session specifications: names are taken verbatim and current directory is default;
2012-07-24 wenzelm 2012-07-24 more explicit document = false to reduce warnings; tuned;
2012-07-24 wenzelm 2012-07-24 more session ROOT files;