Support swapping an inverse declaration from one side to the other
Only declaring and dropping inverses is supported now.
Submitted by Sander Vermolen on 18 February 2011 at 10:00
Only declaring and dropping inverses is supported now.
Submitted by Sander Vermolen on 18 February 2011 at 10:00