author | wenzelm |
Tue, 31 Mar 2009 21:31:23 +0200 | |
changeset 30826 | bc6b24882834 |
parent 30825 | eb99b9134f2e |
child 30827 | 14d24e1fe594 |
1.1 --- a/src/Tools/quickcheck.ML Tue Mar 31 21:31:04 2009 +0200 1.2 +++ b/src/Tools/quickcheck.ML Tue Mar 31 21:31:23 2009 +0200 1.3 @@ -1,4 +1,4 @@ 1.4 -(* Title: Pure/Tools/quickcheck.ML 1.5 +(* Title: Tools/quickcheck.ML 1.6 Author: Stefan Berghofer, Florian Haftmann, TU Muenchen 1.7 1.8 Generic counterexample search engine.