isabelle: Changelog

wenzelm [Fri, 03 Apr 2015 18:36:19 +0200] rev 59916

tuned;

wenzelm [Thu, 02 Apr 2015 20:46:44 +0200] rev 59915

merged

wenzelm [Thu, 02 Apr 2015 20:28:30 +0200] rev 59914

proper treatment of internal method name as already checked Token.src;

wenzelm [Thu, 02 Apr 2015 20:07:32 +0200] rev 59913

tuned signature;

wenzelm [Thu, 02 Apr 2015 20:07:05 +0200] rev 59912

export for informative purposes;

haftmann [Thu, 02 Apr 2015 11:22:24 +0200] rev 59911

sort constraints are inherent part of class abbreviations (in contrast to class constants)

haftmann [Thu, 02 Apr 2015 11:22:22 +0200] rev 59910

semidom contains distributive minus, by convention

wenzelm [Thu, 02 Apr 2015 14:11:00 +0200] rev 59909

clarified method_closure; added option for Eisbach, which makes its own closure;

isabelle