src/HOL/Isar_Examples/Structured_Statements.thy
Mon, 22 Jun 2015 20:36:33 +0200 wenzelm support 'when' statement, which corresponds to 'presume';
Sun, 14 Jun 2015 16:18:00 +0200 wenzelm more examples;
Sat, 13 Jun 2015 13:18:37 +0200 wenzelm more examples;
less more (0) tip