diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-29 04:10:14 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-29 04:10:14 +0000 |
| commit | bcf4deb1f4de85c07a6c91d2fb59a77545e317b0 (patch) | |
| tree | cd63415212f1f6ae8722f1f3a09845db408961d8 /src/doc/ps/wd-gammaz.ps | |
| parent | 9a866efde4ed887d024c01a49b3cdde777d8deb3 (diff) | |
| download | open-axiom-bcf4deb1f4de85c07a6c91d2fb59a77545e317b0.tar.gz | |
* interp/compiler.boot (getSuccessEnvironment): Tidy.
(getInverseEnvironment): Likewise.
(compLogicalNot): Don't normalize to if-statement.
Diffstat (limited to 'src/doc/ps/wd-gammaz.ps')
0 files changed, 0 insertions, 0 deletions