isabelle: Changelog

wenzelm [Wed, 01 Jun 2016 15:10:27 +0200] rev 63205

prefer rat numberals;

wenzelm [Wed, 01 Jun 2016 15:01:43 +0200] rev 63204

support rat numerals via special antiquotation syntax;

wenzelm [Wed, 01 Jun 2016 10:59:57 +0200] rev 63203

tuned signature;

wenzelm [Wed, 01 Jun 2016 10:55:10 +0200] rev 63202

tuned;

wenzelm [Wed, 01 Jun 2016 10:45:35 +0200] rev 63201

tuned signature;

wenzelm [Tue, 31 May 2016 23:06:03 +0200] rev 63200

maintain invariant for exported operation;

wenzelm [Tue, 31 May 2016 22:39:28 +0200] rev 63199

prefer more efficient Poly/ML operations, taking care of sign;

wenzelm [Tue, 31 May 2016 21:54:10 +0200] rev 63198

ad-hoc overloading for standard operations on type Rat.rat;

wenzelm [Tue, 31 May 2016 19:51:01 +0200] rev 63197

rat.ML is now part of Pure to allow tigther integration with Isabelle/ML;

eberlm [Wed, 01 Jun 2016 15:43:15 +0200] rev 63196

Merged

isabelle