changeset 41923 | f05fc0711bc7 |
parent 41920 | d4fb7a418152 |
child 41928 | 05abcee548a1 |
--- a/src/HOL/Tools/Quickcheck/exhaustive_generators.ML Fri Mar 11 15:21:13 2011 +0100 +++ b/src/HOL/Tools/Quickcheck/exhaustive_generators.ML Fri Mar 11 15:21:13 2011 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/Tools/exhaustive_generators.ML +(* Title: HOL/Tools/Quickcheck/exhaustive_generators.ML Author: Lukas Bulwahn, TU Muenchen Exhaustive generators for various types.