isabelle: Changelog

wenzelm [Fri, 22 Aug 2014 11:28:51 +0200] rev 58030

made SML/NJ happy;

wenzelm [Thu, 21 Aug 2014 23:54:27 +0200] rev 58029

clarified Method.section: explicit declaration with static closure;

wenzelm [Thu, 21 Aug 2014 22:48:39 +0200] rev 58028

tuned signature -- define some elementary operations earlier;

wenzelm [Thu, 21 Aug 2014 13:46:29 +0200] rev 58027

discontinued odd "temporary" workaround from 2006 (6ac7a4fc32a0), which has no measurable relevance;

wenzelm [Thu, 21 Aug 2014 13:31:31 +0200] rev 58026

tuned;

wenzelm [Thu, 21 Aug 2014 10:07:06 +0200] rev 58025

tuned;

wenzelm [Thu, 21 Aug 2014 09:48:59 +0200] rev 58024

tuned;

haftmann [Fri, 22 Aug 2014 08:43:14 +0200] rev 58023

generic euclidean algorithm (due to Manuel Eberl)

haftmann [Thu, 21 Aug 2014 14:41:08 +0200] rev 58022

integrated appendix theory into main theory; tuned ML

haftmann [Thu, 21 Aug 2014 14:41:05 +0200] rev 58021

dropped dead file

isabelle