blanchet [Mon, 30 Jan 2012 17:15:59 +0100] rev 46364
example tuning
bulwahn [Mon, 30 Jan 2012 13:55:28 +0100] rev 46363
NEWS
bulwahn [Mon, 30 Jan 2012 13:55:26 +0100] rev 46362
renaming all lemmas with name rel_pow to relpow
bulwahn [Mon, 30 Jan 2012 13:55:24 +0100] rev 46361
adding code equations for max_extp and mlex
bulwahn [Mon, 30 Jan 2012 13:55:23 +0100] rev 46360
adding code generation for relpow by copying the ideas for code generation of funpow
bulwahn [Mon, 30 Jan 2012 13:55:22 +0100] rev 46359
adding code equation for rtranclp in Enum
bulwahn [Mon, 30 Jan 2012 13:55:21 +0100] rev 46358
adding code equation for max_ext
bulwahn [Mon, 30 Jan 2012 13:55:20 +0100] rev 46357
adding code equation for tranclp
bulwahn [Mon, 30 Jan 2012 13:55:19 +0100] rev 46356
adding code_unfold to make measure executable
nipkow [Sun, 29 Jan 2012 15:16:27 +0100] rev 46355
removed accidental dependance of abstract interpreter on gamma