Tue, 10 Jun 2008 15:30:06 +0200 | haftmann | major refactorings in code generator modules | file | diff | annotate |
Sun, 18 May 2008 15:04:27 +0200 | wenzelm | Syntax.string_of_term with proper context; | file | diff | annotate |
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 |