Contents of rewriting-3.0.0

CHANGELOG.md
LICENSE.md
README.md
package.json
src/
- Data/
  - Tuple/
    
    Extra.curry
- Rewriting/
  - CriticalPairs.curry
  - DefinitionalTree.curry
  - Files.curry
  - Narrowing.curry
  - Position.curry
  - Rules.curry
  - Strategy.curry
  - Substitution.curry
  - Term.curry
  - Unification.curry
  - UnificationSpec.curry
test/
- Peano.curry
- RewritingTest.curry