src/HOL/Isar_Examples/Structured_Statements.thy
2016-08-02 wenzelm 2016-08-02 tuned;
2016-02-14 wenzelm 2016-02-14 more explicit dummy proofs;
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-06-22 wenzelm 2015-06-22 support 'when' statement, which corresponds to 'presume';
2015-06-14 wenzelm 2015-06-14 more examples;
2015-06-13 wenzelm 2015-06-13 more examples;