isabelle: Changelog

panny [Fri, 18 Oct 2013 19:03:39 +0200] rev 54160

generate callssss

blanchet [Fri, 18 Oct 2013 18:58:46 +0200] rev 54159

set stage for more flexible 'primrec' syntax for recursion through functions

blanchet [Fri, 18 Oct 2013 17:47:25 +0200] rev 54158

don't print BNF constants

blanchet [Fri, 18 Oct 2013 16:02:07 +0200] rev 54157

tuning

blanchet [Fri, 18 Oct 2013 15:42:55 +0200] rev 54156

conceal even more ugly constructions

blanchet [Fri, 18 Oct 2013 15:25:39 +0200] rev 54155

conceal more ugly constructions

blanchet [Fri, 18 Oct 2013 15:19:21 +0200] rev 54154

conceal prim(co)rec definitions

blanchet [Fri, 18 Oct 2013 15:12:04 +0200] rev 54153

avoid 'co_' prefix with underscore meaning 'co', since it is our only possible identifier representation of '(co)'

blanchet [Fri, 18 Oct 2013 15:00:40 +0200] rev 54152

updated docs

blanchet [Fri, 18 Oct 2013 14:58:02 +0200] rev 54151

set code attribute on discriminator equations

isabelle