diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-11 20:47:10 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-11 20:47:10 +0000 |
commit | 9df910dc2e9a9a1eaf7a0e8d726a2181b1e31862 (patch) | |
tree | da29042a8ae4bfb04d01ac7a67b34db81ffe2a95 /src/algebra/lindep.spad.pamphlet | |
parent | 4d744926ba30ed64d68481878404d99c745cd595 (diff) | |
download | open-axiom-9df910dc2e9a9a1eaf7a0e8d726a2181b1e31862.tar.gz |
Consistently use OIL opcodes for abstractions
Diffstat (limited to 'src/algebra/lindep.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions