src/HOL/Isar_Examples/Drinker.thy
Thu, 01 Jul 2010 18:31:46 +0200 wenzelm misc tuning and modernization;
Tue, 20 Oct 2009 19:37:09 +0200 wenzelm modernized session Isar_Examples;
less more (0) tip