diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-26 01:37:33 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-26 01:37:33 +0000 |
| commit | 19879cbdaa8f64442135f29896e02725e435483a (patch) | |
| tree | 7975830b65cc22ec5f11d00ce3c3e50a4f0db35c /src/algebra/ddfact.spad.pamphlet | |
| parent | b0074cf7a64b5a4070b649924285084e4980f147 (diff) | |
| download | open-axiom-19879cbdaa8f64442135f29896e02725e435483a.tar.gz | |
* interp/g-opt.boot (optNot): Push %not inside conditionals.
(optCond): Remove ineffectual transformation.
Diffstat (limited to 'src/algebra/ddfact.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions