--- a/src/HOL/Quickcheck_Examples/Hotel_Example.thy Fri Jul 13 08:44:42 2012 +0200
+++ b/src/HOL/Quickcheck_Examples/Hotel_Example.thy Fri Jul 13 08:45:09 2012 +0200
@@ -190,4 +190,4 @@
quickcheck[narrowing, size = 7, expect = counterexample]
oops
-ebd
\ No newline at end of file
+end