I’m afraid that I don’t even know what it is. Larry
On 11 Jul 2014, at 12:21, Florian Haftmann <florian.haftm...@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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev