isabelle: Changelog

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

blanchet [Tue, 31 May 2016 11:54:45 +0200] rev 63189

made parsing of monomorphic/polymorphic constants more robust

blanchet [Tue, 31 May 2016 10:53:11 +0200] rev 63188

more flexible parsing (towards type class support)

blanchet [Tue, 31 May 2016 10:53:10 +0200] rev 63187

error message

matichuk <daniel.matichuk@nicta.com.au> [Tue, 31 May 2016 11:45:34 +1000] rev 63186

allow multiple recursive methods to co-exist in order to support mutual recursion;

isabelle