diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-30 01:25:46 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-30 01:25:46 +0000 |
| commit | 0c8ae00b89a09dcf8320117d3655e9e50c4796e3 (patch) | |
| tree | eea24cd23f5a676eec5c37b72b44048ee9fafdac /src/interp/word.boot | |
| parent | c39287d87b632b3582b0e179b08d44dc6c27510f (diff) | |
| download | open-axiom-0c8ae00b89a09dcf8320117d3655e9e50c4796e3.tar.gz | |
* algebra/complet.spad.pamphlet (OnePointCompletion): Define before?.
Diffstat (limited to 'src/interp/word.boot')
0 files changed, 0 insertions, 0 deletions