equal
deleted
inserted
replaced
616 |
616 |
617 notation (output) unknown ("?") |
617 notation (output) unknown ("?") |
618 |
618 |
619 ML_file "Tools/Quickcheck/exhaustive_generators.ML" |
619 ML_file "Tools/Quickcheck/exhaustive_generators.ML" |
620 |
620 |
621 setup Exhaustive_Generators.setup |
|
622 |
|
623 declare [[quickcheck_batch_tester = exhaustive]] |
621 declare [[quickcheck_batch_tester = exhaustive]] |
624 |
622 |
625 subsection {* Defining generators for abstract types *} |
623 subsection {* Defining generators for abstract types *} |
626 |
624 |
627 ML_file "Tools/Quickcheck/abstract_generators.ML" |
625 ML_file "Tools/Quickcheck/abstract_generators.ML" |