aboutsummaryrefslogtreecommitdiff
path: root/TODO
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-04-29 05:27:56 +0000
committerdos-reis <gdr@axiomatics.org>2011-04-29 05:27:56 +0000
commit75b600291e154f55fe8d6d10658980315204ced2 (patch)
tree814ee8866c73889c21d26cbe719bbe794fb3d3d4 /TODO
parentb90ec55ea2329e5ffeda7f6cbd807f596c9cc444 (diff)
downloadopen-axiom-75b600291e154f55fe8d6d10658980315204ced2.tar.gz
* interp/cattable.boot (hasCat): Add type. Accept only
instantiation forms. (simpHasPred): Adjust call to hasCat. * interp/i-funsel.boot (hasCaty): Likewise.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions