src/HOL/Library/Quickcheck.thy
2009-04-17 haftmann 2009-04-17 separate channel for Quickcheck evaluations
2009-02-06 haftmann 2009-02-06 session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there
2009-02-05 haftmann 2009-02-05 split of already properly working part of Quickcheck infrastructure