[isabelle-dev] adhoc overloading: order inserting overloaded constant
makarius at sketis.net
Sat Feb 1 21:12:24 CET 2014
On Sat, 1 Feb 2014, Makarius wrote:
>> If not, could one of the devs incorporate this tiny change please?
> OK, I will try this out.
date: Sat Feb 01 20:46:19 2014 +0100
prefer top-down rewriting for output (i.e. uncheck), in accordance to term
abbreviations (see 5d2fe4e09354) and AST translations;
More information about the isabelle-dev