On Fri, 11 Jul 2014, Andreas Lochbihler wrote:
If there's consensus on reviving this theory, I can do the changes to
Quickcheck_Types such that Isabelle2014 digests it. This is probably all
that can be done before the release as most of us will be busy in Vienna
next week. A move to Main is something for the next release.
I can't say anything myself how it would impact the bootstrap of Main HOL.
As long as this question does not arise for the Isabelle2014 release, I
would say: go ahead and renovate it.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
