isabelle: Changelog

krauss [Wed, 28 Apr 2010 10:31:15 +0200] rev 36520

function: sane interface for programmatic use

krauss [Wed, 28 Apr 2010 09:48:22 +0200] rev 36519

ML interface uses plain command names, following conventions from typedef

krauss [Wed, 28 Apr 2010 09:21:48 +0200] rev 36518

function: better separate Isar integration from actual functionality

haftmann [Thu, 29 Apr 2010 07:02:22 +0200] rev 36517

merged

haftmann [Wed, 28 Apr 2010 17:04:56 +0200] rev 36516

export somehow odd mapa explicitly

haftmann [Wed, 28 Apr 2010 16:56:19 +0200] rev 36515

exported print_tuple

haftmann [Wed, 28 Apr 2010 16:56:18 +0200] rev 36514

take into account tupled constructors

haftmann [Wed, 28 Apr 2010 16:56:18 +0200] rev 36513

avoid code_datatype antiquotation

bulwahn [Wed, 28 Apr 2010 19:46:09 +0200] rev 36512

merged

bulwahn [Wed, 28 Apr 2010 16:45:51 +0200] rev 36511

added an example with a free function variable to the Predicate Compile examples

isabelle