diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-08-29 17:28:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-08-29 17:28:32 +0000 |
| commit | 5f24b5d3416d723eed6052b491311c7549a2526e (patch) | |
| tree | c32e01fd8e514b898845770589c9fa0df12db512 /src/algebra/strap/EUCDOM.lsp | |
| parent | 5521671cdf9c64efe8f73f4026ab0c7bf4dbf018 (diff) | |
| download | open-axiom-5f24b5d3416d723eed6052b491311c7549a2526e.tar.gz | |
* boot/ast.boot (%Definition): Lose one argument.
(bfDefinition): Remove.
(bfSimpleDefinition): Likewise.
(bfCompDef): Likewise.
(bfDefSequence): Likewise.
(defSheepAndGoats): Tidy.
* boot/parser.boot (bpSimpleDefinitionTail): Likewise.
(bpCompoundDefinitionTail): Likewise.
(bpDefinitionPileItems): Likewise.
(bpSemiColonDefinition): Likewise.
* boot/translator.boot (translateToplevel): Likewise.
Diffstat (limited to 'src/algebra/strap/EUCDOM.lsp')
0 files changed, 0 insertions, 0 deletions