src/HOL/Library/Quickcheck.thy
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