Thu, 18 Mar 2010 12:09:59 +0100 |
Cezary Kaliszyk |
Added fv,bn,distinct,perm to the simplifier.
|
changeset |
files
|
Thu, 18 Mar 2010 11:37:10 +0100 |
Cezary Kaliszyk |
merge
|
changeset |
files
|
Thu, 18 Mar 2010 11:36:03 +0100 |
Cezary Kaliszyk |
Simplified the description.
|
changeset |
files
|
Thu, 18 Mar 2010 11:33:56 +0100 |
Christian Urban |
merged
|
changeset |
files
|
Thu, 18 Mar 2010 11:33:37 +0100 |
Christian Urban |
slightly more in the paper
|
changeset |
files
|
Thu, 18 Mar 2010 11:29:12 +0100 |
Cezary Kaliszyk |
Update the description of the generation of fv function.
|
changeset |
files
|
Thu, 18 Mar 2010 11:16:53 +0100 |
Cezary Kaliszyk |
fv_bn may need to call other fv_bns.
|
changeset |
files
|
Thu, 18 Mar 2010 10:15:57 +0100 |
Cezary Kaliszyk |
Update TODO.
|
changeset |
files
|