[isabelle-dev] adhoc overloading: order inserting overloaded constant

Makarius 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.

See now:

changeset:   55237:1e341728bae9
user:        wenzelm
date:        Sat Feb 01 20:46:19 2014 +0100
files:       src/Tools/adhoc_overloading.ML
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 mailing list