Partial fix for bug #76 "Substitution loses a def along the way" When subtracting the dom spec of the morphism from the source spec, we need to include sorts and ops that are defined in the source spec and merely declared in the dom spec.
Partial fix for bug #76 "Substitution loses a def along the way"
When subtracting the dom spec of the morphism from the source spec,
we need to include sorts and ops that are defined in the source spec
and merely declared in the dom spec.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@1632 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware