Handle Let and LetRec Consider context implications of RestrictedPat Improve power of addition of context-sensitive rules. Fix uses of = on terms rather than termEqual? Introduce an extra argument to control how many rewrites are done.
Handle Let and LetRec
Consider context implications of RestrictedPat
Improve power of addition of context-sensitive rules.
Fix uses of = on terms rather than termEqual?
Introduce an extra argument to control how many rewrites are done.


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

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