Contents of rewriting-0.0.1

• CriticalPairs.curry
• DefinitionalTree.curry
• Files.curry
• Narrowing.curry
• Position.curry
• Rules.curry
• Strategy.curry
• Substitution.curry
• Term.curry
• Unification.curry
• UnificationSpec.curry