Advertising

Someone who understands Isabelle library maintenance needs to pick it up
and apply it in the proper way. This usually takes quite some time, and
exposes many unexpected problems. Main HOL is not easily changed on the
spot.
> There is also AFP.
This usually takes 2-3 more rounds of exploration.
Nothing of this is relevant for the Isabelle2017 release. When the "RC"
versions show up, it is time to finish and not to start new things.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev