| Mon, 30 Jan 2012 17:15:59 +0100 |
blanchet |
rename lambda translation schemes
|
changeset |
files
|
| Mon, 30 Jan 2012 17:15:59 +0100 |
blanchet |
example tuning
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:28 +0100 |
bulwahn |
NEWS
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:26 +0100 |
bulwahn |
renaming all lemmas with name rel_pow to relpow
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:24 +0100 |
bulwahn |
adding code equations for max_extp and mlex
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:23 +0100 |
bulwahn |
adding code generation for relpow by copying the ideas for code generation of funpow
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:22 +0100 |
bulwahn |
adding code equation for rtranclp in Enum
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:21 +0100 |
bulwahn |
adding code equation for max_ext
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:20 +0100 |
bulwahn |
adding code equation for tranclp
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:19 +0100 |
bulwahn |
adding code_unfold to make measure executable
|
changeset |
files
|
| Sun, 29 Jan 2012 15:16:27 +0100 |
nipkow |
removed accidental dependance of abstract interpreter on gamma
|
changeset |
files
|
| Sun, 29 Jan 2012 10:34:02 +0100 |
nipkow |
merged
|
changeset |
files
|
| Sun, 29 Jan 2012 10:33:54 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Sat, 28 Jan 2012 12:05:26 +0100 |
bulwahn |
an executable version of accessible part (only for finite types yet)
|
changeset |
files
|
| Sat, 28 Jan 2012 10:35:52 +0100 |
bulwahn |
adding yet another induction rule on natural numbers
|
changeset |
files
|
| Sat, 28 Jan 2012 10:22:46 +0100 |
bulwahn |
moving declarations back to the section they seem to belong to (cf. afffe1f72143)
|
changeset |
files
|