src/HOL/ex/Quickcheck_Narrowing_Examples.thy
Thu, 09 Jun 2011 10:19:51 +0200 bulwahn correcting import theory of examples
Tue, 07 Jun 2011 11:10:58 +0200 bulwahn adding examples with existentials
Thu, 31 Mar 2011 11:17:52 +0200 bulwahn adapting Quickcheck_Narrowing (overseen in 234ec7011e5d); commenting out some examples temporarily
Fri, 18 Mar 2011 18:19:42 +0100 bulwahn handling a quite restricted set of functions in Quickcheck_Narrowing by an easy transformation
Fri, 18 Mar 2011 18:19:42 +0100 bulwahn adding minimalistic setup and transformation to handle functions as data to enable naive function generation for Quickcheck_Narrowing
Fri, 18 Mar 2011 18:19:42 +0100 bulwahn extending code_int type more; adding narrowing instance for type int; added test case for int instance
Fri, 18 Mar 2011 18:19:42 +0100 bulwahn translating bash output in quickcheck_narrowing to handle special characters; adding simple test cases
Mon, 14 Mar 2011 12:34:10 +0100 bulwahn tuned exhaustive generator compilation; added narrowing generator compilation; removed exec as does not work properly here (reverting changeset 994d088fbfbc)
Mon, 14 Mar 2011 12:34:09 +0100 bulwahn correcting names in Narrowing_Engine and example theory for Quickcheck_Narrowing
Fri, 11 Mar 2011 15:21:13 +0100 bulwahn adapting example file to renaming of the quickcheck tester
Fri, 11 Mar 2011 15:21:13 +0100 bulwahn renaming example file correctly
less more (0) tip