aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/regset.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-12-19 22:14:21 +0000
committerdos-reis <gdr@axiomatics.org>2008-12-19 22:14:21 +0000
commitba161fefd4ab91c4908e7c7da8f6d84373f8e7ce (patch)
treea24aae76cc98229502e4b143804ad5ae8f2dd9a9 /src/algebra/regset.spad.pamphlet
parenta03f68879f697998e2a3f41029a2034dc76767e0 (diff)
downloadopen-axiom-ba161fefd4ab91c4908e7c7da8f6d84373f8e7ce.tar.gz
* interp/define.boot (insertViewMorphisms): New.
(checkRepresentation): Rename from maybeInsertViewMorphisms. Tidy. (compDefineFunctor1): Tidy. (doIt): Insert view morphisms if appropriate.
Diffstat (limited to 'src/algebra/regset.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions