src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-03 blanchet 2014-09-03 use 'datatype_new' in Quickcheck examples
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2012-03-12 wenzelm 2012-03-12 tuned headers;
2012-02-22 bulwahn 2012-02-22 moving Quickcheck's example to its own session