src/HOL/Isar_Examples/Drinker.thy
2012-10-18 wenzelm 2012-10-18 tuned proof;
2012-05-23 wenzelm 2012-05-23 tuned proof;
2010-07-01 wenzelm 2010-07-01 misc tuning and modernization;
2009-10-20 wenzelm 2009-10-20 modernized session Isar_Examples;