changeset 37743 | 3daaf23b9ab4 |
parent 37591 | d3daea901123 |
child 38584 | cf7b2121ad9d |
1.1 --- a/src/HOL/Tools/quickcheck_generators.ML Thu Jul 08 16:19:23 2010 +0200 1.2 +++ b/src/HOL/Tools/quickcheck_generators.ML Thu Jul 08 16:19:24 2010 +0200 1.3 @@ -1,4 +1,5 @@ 1.4 -(* Author: Florian Haftmann, TU Muenchen 1.5 +(* Title: HOL/Tools/quickcheck_generators.ML 1.6 + Author: Florian Haftmann, TU Muenchen 1.7 1.8 Quickcheck generators for various types. 1.9 *)