Hi Greg, We didn't look into nominal rewriting I'm afraid. And I'm not that familiar with scrap-your-nameplate so I'm not sure if you can implement nominal rewriting using that library. Regards, Thomas Greg Meredith wrote:

Thomas,

Did you explore nominal rewrite at all? Do you know if it might be possible to use the scrap-your-nameplate package to implement some useful subset of the nominal rewrite machinery?

Best wishes,

--greg

-- L.G. Meredith Managing Partner Biosimilarity LLC 806 55th St NE Seattle, WA 98105

+1 206.650.3740

http://biosimilarity.blogspot.com