src/HOL/Quickcheck_Examples/Hotel_Example.thy
changeset 48255 968602739b54
parent 48222 fcca68383808
child 51143 0a2371e7ced3
     1.1 --- a/src/HOL/Quickcheck_Examples/Hotel_Example.thy	Fri Jul 13 08:44:42 2012 +0200
     1.2 +++ b/src/HOL/Quickcheck_Examples/Hotel_Example.thy	Fri Jul 13 08:45:09 2012 +0200
     1.3 @@ -190,4 +190,4 @@
     1.4  quickcheck[narrowing, size = 7, expect = counterexample]
     1.5  oops
     1.6  
     1.7 -ebd
     1.8 \ No newline at end of file
     1.9 +end