[isabelle-dev] Dead and broken theory src/HOL/Library/Quickcheck_Types.thy
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