diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-06-02 01:35:53 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-06-02 01:35:53 +0000 |
| commit | 119769a5f0b38d1efff362124141b6533d200e27 (patch) | |
| tree | ea7e2d982c7ab1ff678e5779db5317a90cc669b4 /src/algebra/real0q.spad.pamphlet | |
| parent | c9596dd1264fb7c48ab330be6e9c4322a0bce89f (diff) | |
| download | open-axiom-119769a5f0b38d1efff362124141b6533d200e27.tar.gz | |
Add dependencies for bootstrap
Diffstat (limited to 'src/algebra/real0q.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions