[isabelle-dev] NEWS: powr
makarius at sketis.net
Tue Apr 14 16:35:35 CEST 2015
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
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.
More information about the isabelle-dev