[isabelle-dev] Dead and broken theory src/HOL/Library/Quickcheck_Types.thy

Lawrence Paulson lp15 at cam.ac.uk
Fri Jul 11 13:22:42 CEST 2014

I’m afraid that I don’t even know what it is.

On 11 Jul 2014, at 12:21, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:

> The issue that src/HOL/Library/Quickcheck_Types.thy is dead and broken
> has not been addressed since before the last release.
> So, which path to follow?  Is there any interested in a serious repair
> effort?  Otherwise, we should honestly drop it.

More information about the isabelle-dev mailing list