src/HOL/Library/Predicate_Compile_Quickcheck.thy
changeset 51143 0a2371e7ced3
parent 48891 c0eafbd55de3
child 58812 5a9a2d3b9f8b
--- a/src/HOL/Library/Predicate_Compile_Quickcheck.thy	Fri Feb 15 08:31:30 2013 +0100
+++ b/src/HOL/Library/Predicate_Compile_Quickcheck.thy	Fri Feb 15 08:31:31 2013 +0100
@@ -10,4 +10,4 @@
 
 setup {* Predicate_Compile_Quickcheck.setup *}
 
-end
\ No newline at end of file
+end