CurryInfo: rewriting-3.0.0: all modules

Data.Tuple.Extra Rewriting.CriticalPairs Rewriting.DefinitionalTree Rewriting.Files Rewriting.Narrowing Rewriting.Position Rewriting.Rules Rewriting.Strategy Rewriting.Substitution Rewriting.Term Rewriting.Unification Rewriting.UnificationSpec