Add argument to restric number of rewrites. Consider RestrictedPat as affecting context. Make rule creation from context equalities smarter. Fix variable capture bug in target of rewrite.
Add argument to restric number of rewrites.
Consider RestrictedPat as affecting context.
Make rule creation from context equalities smarter.
Fix variable capture bug in target of rewrite.


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

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