Wed, 07 May 2008 10:59:44 +0200 | berghofe | Removed instantiation for set. | file | diff | annotate |
Wed, 09 Apr 2008 17:46:17 +0200 | haftmann | renamed mbind to scomp | file | diff | annotate |
Wed, 19 Mar 2008 07:20:29 +0100 | haftmann | quickcheck with term reconstruction | file | diff | annotate |
Sat, 15 Mar 2008 08:11:16 +0100 | haftmann | (continued) | file | diff | annotate |
Fri, 14 Mar 2008 08:52:52 +0100 | haftmann | added combinator for interpretation of construction of datatype | file | diff | annotate |
Wed, 12 Mar 2008 19:38:14 +0100 | haftmann | separated Random.thy from Quickcheck.thy | file | diff | annotate |