src/HOL/Isar_Examples/Drinker.thy
changeset 37659 14cabf5fa710
parent 33026 8f35633c4922
child 37671 fa53d267dab3