changeset 58812 | 5a9a2d3b9f8b |
parent 51143 | 0a2371e7ced3 |
child 58881 | b9556a055632 |
--- a/src/HOL/Library/Predicate_Compile_Quickcheck.thy Wed Oct 29 10:58:41 2014 +0100 +++ b/src/HOL/Library/Predicate_Compile_Quickcheck.thy Wed Oct 29 11:13:24 2014 +0100 @@ -8,6 +8,4 @@ ML_file "../Tools/Predicate_Compile/predicate_compile_quickcheck.ML" -setup {* Predicate_Compile_Quickcheck.setup *} - end