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
On Tue, 19 Jan 2016, Manuel Eberl wrote:
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