Theory Hotel_Example
theory
Hotel_Example
imports
Main
"
HOL-Library.Predicate_Compile_Quickcheck
"
begin