[isabelle-dev] Fwd: status (AFP)
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:
date: Tue Apr 05 09:38:23 2011 +0200
summary: deriving bounded_forall instances in quickcheck_exhaustive
More information about the isabelle-dev