CurryInfo: rewriting-3.0.0 / Rewriting.DefinitionalTree: all operations

defTrees defTreesL dotifyDefTree dtPattern dtRoot fromDefTrees hasDefTree idtPositions loDefTrees phiRStrategy selectDefTrees writeDefTree