[isabelle-dev] Fwd: status (AFP)

Makarius makarius at sketis.net
Fri Apr 8 11:36:59 CEST 2011

On Fri, 8 Apr 2011, Lukas Bulwahn wrote:

> My changes caused this error.
> I am working on different compilation schemes in Quickcheck. Quickcheck 
> registers its type-class based generator construction in the Datatype 
> package in the HOL image.

For the record, this is what hg bisect said:

The first bad revision is:
changeset:   42230:594480d25aaa
user:        bulwahn
date:        Tue Apr 05 09:38:23 2011 +0200
summary:     deriving bounded_forall instances in quickcheck_exhaustive


More information about the isabelle-dev mailing list