src/HOL/Quickcheck_Examples/Hotel_Example.thy
changeset 55990 41c6b99c5fb7
parent 53015 a1119cf551e8
child 57544 8840fa17e17c