2015-12-28 wenzelm former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
2015-12-28 wenzelm more symbols;
2015-12-28 wenzelm use symbols by default;
2015-12-28 wenzelm prefer symbols for "Union", "Inter";
2015-12-28 wenzelm clarified position information;
2015-12-28 wenzelm suppress irrelevant position reports;
2015-12-28 wenzelm suppress irrelevant position reports;
2015-12-28 wenzelm tuned;
2015-12-28 wenzelm more position information;
2015-12-27 haftmann put example into separate session, to restrict precious session image to library theories
2015-12-28 wenzelm more symbols;
2015-12-28 wenzelm prefer symbols for "abs";
2015-12-27 wenzelm discontinued ASCII replacement syntax <*>;
2015-12-27 wenzelm prefer symbols for "floor", "ceiling";
2015-12-27 wenzelm discontinued ASCII replacement syntax <->;
2015-12-27 wenzelm more symbols;
2015-12-27 wenzelm tuned document;
2015-12-27 wenzelm more proofs;
2015-12-27 wenzelm tuned;
2015-12-26 wenzelm more notation;
2015-12-26 wenzelm clarified sessions;
2015-12-26 wenzelm tuned;
2015-12-26 wenzelm isabelle update_cartouches -c -t;
2015-12-26 wenzelm misc tuning and modernization;
2015-12-26 wenzelm more proofs, more text;
2015-12-26 wenzelm modernized example;
2015-12-24 haftmann tuned proofs and augmented lemmas
2015-12-24 haftmann tuned proof
2015-12-23 wenzelm less ambitious test;
2015-12-23 wenzelm tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip