[isabelle-dev] Fwd: status (AFP)

[Makarius]

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


 	Makarius