isabelle: Changelog

Manuel Eberl <eberlm@in.tum.de> [Fri, 26 Feb 2016 18:33:01 +0100] rev 62428

Fixed code equations for Gcd/Lcm

blanchet [Fri, 26 Feb 2016 15:49:35 +0100] rev 62427

generalized ML function

eberlm [Fri, 26 Feb 2016 15:00:47 +0100] rev 62426

Merged

eberlm [Fri, 26 Feb 2016 14:58:07 +0100] rev 62425

Tuned Euclidean Ring instance for polynomials

eberlm [Fri, 26 Feb 2016 11:57:36 +0100] rev 62424

Merged

eberlm [Thu, 25 Feb 2016 16:54:24 +0100] rev 62423

Merged

eberlm [Thu, 25 Feb 2016 16:44:53 +0100] rev 62422

Tuned Euclidean rings

immler [Fri, 26 Feb 2016 11:53:45 +0100] rev 62421

finite precision computation to determine sign for comparison

immler [Fri, 26 Feb 2016 11:53:45 +0100] rev 62420

positive precision for truncate; fixed precision for approximation of rationals; code for truncate

immler [Fri, 26 Feb 2016 11:53:42 +0100] rev 62419

compute_real_of_float has not been used as code equation

isabelle