Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | made SML/NJ happy; tuned | file | diff | annotate |
Thu, 05 Nov 2009 16:10:49 +0100 | wenzelm | eliminated funny record patterns and made SML/NJ happy; | file | diff | annotate |
Tue, 03 Nov 2009 10:24:06 +0100 | bulwahn | adapted the inlining in the predicate compiler | file | diff | annotate |
Sat, 31 Oct 2009 10:02:37 +0100 | bulwahn | predicate compiler creates code equations for predicates with full mode | file | diff | annotate |
Wed, 28 Oct 2009 00:07:51 +0100 | wenzelm | proper headers; | file | diff | annotate |
Tue, 27 Oct 2009 09:03:56 +0100 | bulwahn | print retrieved specification when printing intermediate results | file | diff | annotate |
Tue, 27 Oct 2009 09:02:22 +0100 | bulwahn | including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck | file | diff | annotate |