| Sun, 20 Oct 2013 19:20:08 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Sun, 20 Oct 2013 19:20:08 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Sun, 20 Oct 2013 18:22:59 +0200 |
blanchet |
simplify code
|
changeset |
files
|
| Sun, 20 Oct 2013 17:45:54 +0200 |
blanchet |
avoid tactic failure for equations that contain an unapplied 'id'
|
changeset |
files
|
| Sat, 19 Oct 2013 00:00:50 +0200 |
blanchet |
improve support for recursion through functions
|
changeset |
files
|
| Fri, 18 Oct 2013 20:26:46 +0200 |
blanchet |
handle composition for multiple arguments correctly
|
changeset |
files
|
| Fri, 18 Oct 2013 19:18:32 +0200 |
panny |
merge
|
changeset |
files
|
| Fri, 18 Oct 2013 19:03:39 +0200 |
panny |
generate callssss
|
changeset |
files
|
| Fri, 18 Oct 2013 18:58:46 +0200 |
blanchet |
set stage for more flexible 'primrec' syntax for recursion through functions
|
changeset |
files
|
| Fri, 18 Oct 2013 17:47:25 +0200 |
blanchet |
don't print BNF constants
|
changeset |
files
|
| Fri, 18 Oct 2013 16:02:07 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Fri, 18 Oct 2013 15:42:55 +0200 |
blanchet |
conceal even more ugly constructions
|
changeset |
files
|
| Fri, 18 Oct 2013 15:25:39 +0200 |
blanchet |
conceal more ugly constructions
|
changeset |
files
|
| Fri, 18 Oct 2013 15:19:21 +0200 |
blanchet |
conceal prim(co)rec definitions
|
changeset |
files
|
| Fri, 18 Oct 2013 15:12:04 +0200 |
blanchet |
avoid 'co_' prefix with underscore meaning 'co', since it is our only possible identifier representation of '(co)'
|
changeset |
files
|
| Fri, 18 Oct 2013 15:00:40 +0200 |
blanchet |
updated docs
|
changeset |
files
|