src/HOL/Isar_Examples/Drinker.thy
changeset 58306 117ba6cbe414
parent 49930 defce6616890
child 58614 7338eb25226c