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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
