Added hooks for suppressing definitions generated from specs, both for lisp code generation and interpreter evaluation.
Added hooks for suppressing definitions generated from specs,
both for lisp code generation and interpreter evaluation.


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

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