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

[Lawrence Paulson]

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


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.