As of 67792e4a5486, I fixed a regression in the ‘approximation’ decision
procedure that was introduced with Isabelle2015: approximating terms
containing ‘powr’ did not work anymore due to the changed definition of
‘powr’.
It works again now and I was wondering whether this kind of thing should
also be put into NEWS/CONTRIBUTORS.
(I have more changes to ‘approximation’ in my pipeline, but these are
new features and performance improvements, which can wait until after
the release, but I deemed it important to fix this regression after it
already made it into the last release)
Manuel
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
