Curry Package propertyfile

Read and update files containing properties in equational syntax

Detailed package documentation (available shortly after this version has been published)

---