/tests/coq/rename_attribute/

• ../
• Primitives.v
• RenameAttribute.v