src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy
changeset 47884 21c42b095c84
parent 46905 6b1c0a80a57a
child 52666 391913d17d15