src/HOL/ex/Quickcheck.thy
Tue, 23 Sep 2008 18:11:42 +0200 haftmann renamed rtype to typerep
Mon, 22 Sep 2008 13:56:04 +0200 haftmann generic quickcheck framework
Mon, 22 Sep 2008 08:00:26 +0200 haftmann some steps towards generic quickcheck framework
Tue, 16 Sep 2008 09:21:24 +0200 haftmann evaluation using code generator
Sat, 06 Sep 2008 14:02:36 +0200 haftmann dropped "run" marker in monad syntax
Tue, 02 Sep 2008 16:55:33 +0200 wenzelm type Attrib.binding abbreviates Name.binding without attributes;
Tue, 02 Sep 2008 14:10:45 +0200 wenzelm explicit type Name.binding for higher-specification elements;
Thu, 28 Aug 2008 22:09:20 +0200 haftmann restructured and split code serializer module
Thu, 14 Aug 2008 16:52:46 +0200 wenzelm moved basic thm operations from structure PureThy to Thm (cf. more_thm.ML);
Fri, 25 Jul 2008 12:03:36 +0200 haftmann dropped PureThy.note; added PureThy.add_thm
Tue, 10 Jun 2008 15:30:06 +0200 haftmann major refactorings in code generator modules
Sun, 18 May 2008 15:04:27 +0200 wenzelm Syntax.string_of_term with proper context;
Wed, 07 May 2008 10:59:44 +0200 berghofe Removed instantiation for set.
Wed, 09 Apr 2008 17:46:17 +0200 haftmann renamed mbind to scomp
Wed, 19 Mar 2008 07:20:29 +0100 haftmann quickcheck with term reconstruction
Sat, 15 Mar 2008 08:11:16 +0100 haftmann (continued)
Fri, 14 Mar 2008 08:52:52 +0100 haftmann added combinator for interpretation of construction of datatype
Wed, 12 Mar 2008 19:38:14 +0100 haftmann separated Random.thy from Quickcheck.thy
less more (0) tip