diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-06 12:53:32 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-06 12:53:32 -0800 |
| commit | 7ad1bbdc6aa9780b9a7063299bf3b2d049106eed (patch) | |
| tree | 410db04d8b72aa565b9986ec74022a1c110ba849 /src/input/infprod.input.pamphlet | |
| parent | 840651da76b018edd0fac7eac5087e8adb1701c8 (diff) | |
| download | open-axiom-7ad1bbdc6aa9780b9a7063299bf3b2d049106eed.tar.gz | |
optNot: handle conjunction and disjunction operands
Diffstat (limited to 'src/input/infprod.input.pamphlet')
0 files changed, 0 insertions, 0 deletions