diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-02 20:04:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-02 20:04:09 +0000 |
| commit | c97234cc6573b74f42454b09b7a0297960c9fdf4 (patch) | |
| tree | 74a8990a1831e02f995e5240b00e3a2d5a24b694 /src/include/util.H1 | |
| parent | 4ac600edddd39335715c053ded118a59c804778d (diff) | |
| download | open-axiom-c97234cc6573b74f42454b09b7a0297960c9fdf4.tar.gz | |
* interp/nrungo.boot (NRTisRecurrenceRelation): Lookup "not" with
signature % -> %.
* interp/br-con.boot: Use "~=" for inequality.
Diffstat (limited to 'src/include/util.H1')
0 files changed, 0 insertions, 0 deletions