src/HOL/Isar_examples/Drinker.thy
2005-06-22 wenzelm 2005-06-22 improved proof;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-06-09 wenzelm 2005-06-09 added Isar_examples/Drinker.thy;