src/HOL/Quickcheck_Examples/Quickcheck_Interfaces.thy
Thu, 26 May 2016 17:51:22 +0200 wenzelm isabelle update_cartouches -c -t;
Wed, 29 Oct 2014 11:19:27 +0100 wenzelm tuned;
Wed, 03 Sep 2014 00:06:21 +0200 blanchet use 'datatype_new' in Quickcheck examples
Mon, 25 Feb 2013 12:17:50 +0100 wenzelm prefer stateless 'ML_val' for tests;
Mon, 02 Jul 2012 12:23:30 +0200 bulwahn adding some minimal documentation and an example of quickcheck's interfaces
less more (0) tip