isabelle: Changelog

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

eberlm [Wed, 01 Jun 2016 13:48:34 +0200] rev 63195

Tuned code equations for mappings and PMFs

eberlm [Tue, 31 May 2016 13:02:44 +0200] rev 63194

Added code generation for PMFs

traytel [Tue, 31 May 2016 21:06:46 +0200] rev 63193

merged

traytel [Tue, 31 May 2016 14:56:51 +0200] rev 63192

moved lemma from afp

Lars Hupel <lars.hupel@mytum.de> [Tue, 31 May 2016 18:31:33 +0200] rev 63191

ignore Maven build products

blanchet [Tue, 31 May 2016 12:24:43 +0200] rev 63190

added test

isabelle