isabelle: Changelog

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

desharna [Thu, 21 Aug 2014 13:59:45 +0200] rev 58020

fix tactic failure with rel_induct0 minimal example: datatype_new 'a A1 = A1 nat and 'a A2 = A2 'a

wenzelm [Wed, 20 Aug 2014 20:50:28 +0200] rev 58019

added jdk-8u20 (inactive);

wenzelm [Wed, 20 Aug 2014 17:30:43 +0200] rev 58018

proper static closure of ML tactic -- data slot is used twice, for ML compiler and transformed declaration;

wenzelm [Wed, 20 Aug 2014 17:23:47 +0200] rev 58017

support for declaration within token source;

isabelle