src/HOL/Isar_Examples/Group.thy
2016-08-02 wenzelm 2016-08-02 tuned;
2016-02-23 nipkow 2016-02-23 more canonical names
2015-12-26 wenzelm 2015-12-26 misc tuning and modernization;
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-12-07 wenzelm 2015-12-07 tuned;
2015-11-02 wenzelm 2015-11-02 tuned document;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-10-07 wenzelm 2014-10-07 more cartouches; more antiquotations;
2014-02-21 wenzelm 2014-02-21 more symbols;
2010-07-01 wenzelm 2010-07-01 misc tuning and modernization;
2010-02-23 haftmann 2010-02-23 dropped axclass; dropped Id
2009-10-20 wenzelm 2009-10-20 modernized session Isar_Examples;