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

[Makarius]

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
description:
prefer top-down rewriting for output (i.e. uncheck), in accordance to term 
abbreviations (see 5d2fe4e09354) and AST translations;


 	Makarius