src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy
2016-09-16 wenzelm 2016-09-16 more symbols;
2016-09-15 nipkow 2016-09-15 renamed listsum -> sum_list, listprod ~> prod_list
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2015-12-27 wenzelm 2015-12-27 prefer symbols for "floor", "ceiling";
2015-09-13 wenzelm 2015-09-13 tuned proofs -- less legacy;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-29 wenzelm 2014-10-29 tuned;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-03 blanchet 2014-09-03 use 'datatype_new' in Quickcheck examples
2014-07-24 wenzelm 2014-07-24 tuned imports;
2014-07-11 Andreas Lochbihler 2014-07-11 reactivate session Quickcheck_Examples
2013-04-03 haftmann 2013-04-03 optionalized very specific code setup for multisets
2012-05-29 bulwahn 2012-05-29 added optimisation for equational premises in Quickcheck; added some Quickcheck examples; NEWS
2012-04-04 bulwahn 2012-04-04 added option quickcheck_locale to allow different behaviours for handling locales in Quickcheck; added examples of quickcheck_locale option; trying to speed up Quickcheck_Examples;
2012-03-12 wenzelm 2012-03-12 tuned headers;
2012-02-25 bulwahn 2012-02-25 adding an example where random beats exhaustive testing
2012-02-22 bulwahn 2012-02-22 moving Quickcheck's example to its own session