Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Quickcheck_Examples/Hotel_Example.thy
changeset 66453 cc19f7ca2ed6
parent 63177 6c05c4632949
child 67414 c46b3f9f79ea
equal deleted inserted replaced
66452:450cefec7c11 66453:cc19f7ca2ed6 
     1 theory Hotel_Example
 
     1 theory Hotel_Example
 
     2 imports Main "~~/src/HOL/Library/Predicate_Compile_Quickcheck"
 
     2 imports Main "HOL-Library.Predicate_Compile_Quickcheck"
 
     3 begin
 
     3 begin
 
     4 
     4 
     5 datatype guest = Guest0 | Guest1
 
     5 datatype guest = Guest0 | Guest1
 
     6 datatype key = Key0 | Key1 | Key2 | Key3
 
     6 datatype key = Key0 | Key1 | Key2 | Key3
 
     7 datatype room = Room0
 
     7 datatype room = Room0
isabelle