On Sun, 12 Apr 2015, Larry Paulson wrote:
You should always have success by unfolding powr_def. And I’m told that
the necessary changes to “approximation” are not difficult.
Does that mean there will be further changes, to make it fully work in the
coming release?
It would be nice to see this last-minute change properly stabilized, such
that Isabelle does not degrade into "continuous non-release
repository-snapshot quality", like so many other projects today.
Makarius_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
