src/Tools/auto_counterexample.ML
2009-11-10 wenzelm 2009-11-10 adapted Theory_Data;
2009-10-28 blanchet 2009-10-28 introduced Auto Nitpick in addition to Auto Quickcheck; this required generalizing the theorem hook used by Quickcheck, following a suggestion by Florian