diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-25 16:48:08 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-25 16:48:08 -0800 |
| commit | 9d21244538d7409aeba74b5ff5f91b1f826ba05c (patch) | |
| tree | 342df074386df2de493b56dd66321aacd99d1ff8 /src/input/r21bugs.input.pamphlet | |
| parent | 0c4e85ff73396642485cac1e1a509c05d80754b0 (diff) | |
| download | open-axiom-9d21244538d7409aeba74b5ff5f91b1f826ba05c.tar.gz | |
Do not reference symbol IDENTITY directly by name.
Diffstat (limited to 'src/input/r21bugs.input.pamphlet')
0 files changed, 0 insertions, 0 deletions