src/HOL/ex/Quickcheck_Lattice_Examples.thy
2011-09-19 bulwahn 2011-09-19 increasing quickcheck timeout to reduce spurious test failures due to massive parallel invocations and bad scheduling
2011-09-09 krauss 2011-09-09 added syntactic classes for "inf" and "sup"
2011-07-18 bulwahn 2011-07-18 adapting an experimental setup to changes in quickcheck's infrastructure
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-07-21 bulwahn 2010-07-21 adding checking of expected result for the tool quickcheck; annotated a few quickcheck examples
2010-07-21 bulwahn 2010-07-21 adding Quickcheck examples for other quickcheck default types