diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-20 05:10:04 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-20 05:10:04 -0800 |
| commit | 13819bd8e6828e5aadecad77804b25651fd8d9ae (patch) | |
| tree | 0e1b3fd70e172822ba9c8b3336f8e5213e80bed2 /src/algebra/tableau.spad.pamphlet | |
| parent | 8988a27cf5f414263d0796a323f0d033265271e7 (diff) | |
| download | open-axiom-13819bd8e6828e5aadecad77804b25651fd8d9ae.tar.gz | |
Format boot tokens.
Diffstat (limited to 'src/algebra/tableau.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions