src/HOL/Isar_Examples/Basic_Logic.thy
2016-08-02 wenzelm 2016-08-02 tuned;
2015-12-26 wenzelm 2015-12-26 misc tuning and modernization;
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-11-02 wenzelm 2015-11-02 tuned document;
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;
2014-02-20 wenzelm 2014-02-20 tuned proofs; more symbols;
2010-07-01 wenzelm 2010-07-01 misc tuning and modernization;
2009-10-20 wenzelm 2009-10-20 modernized session Isar_Examples;