src/HOL/Isar_Examples/Summation.thy
2016-08-02 wenzelm tuned;
2015-12-26 wenzelm misc tuning and modernization;
2015-11-02 wenzelm tuned document;
2014-11-02 wenzelm modernized header;
2014-10-07 wenzelm more cartouches;
2014-02-20 wenzelm tuned proofs;
2012-11-15 wenzelm tuned -- eliminated obsolete citation of isabelle-ref;
2010-12-02 wenzelm more antiquotations;
2010-07-01 wenzelm misc tuning and modernization;
2009-10-20 wenzelm modernized session Isar_Examples;
less more (0) tip