changeset 62390 | 842917225d56 |
parent 55447 | aa41ecbdc205 |
child 63167 | 0909deb8059b |
--- a/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy Tue Feb 23 15:37:18 2016 +0100 +++ b/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy Tue Feb 23 16:25:08 2016 +0100 @@ -154,4 +154,4 @@ quickcheck[tester = prolog, iterations = 1, expect = counterexample] oops -end \ No newline at end of file +end