src/HOL/Isar_Examples/Structured_Statements.thy
Tue, 02 Aug 2016 18:44:37 +0200 wenzelm tuned;
less more (0) -1 tip