1. term
   1. (object)
      package.<::
   2. (object)(case class)package.Fun
   3. (object)(class)package.Pos
   4. (case class)package.Subst
   5. (object)(class)package.Term
   6. (case class)package.Var
   1. term.completion
      1. (object)
         package.Completion
   2. term.lpo
      1. (class)package.Precedence
      2. (object)
         package.PrecParser
   3. term.parser
      1. (trait)package.Parser
      2. (object)
         package.ParserOldTRS
      3. (object)
         package.ParserXmlTRS
   4. term.reco
      1. (object)
         package.ELIR
      2. (case class)package.ProofTree
      3. (object)
         package.Rel
   5. term.util
      1. (object)
         package.E
      2. (object)(case class)package.Equation
      3. (object)
         package.MathSymbol
      4. (object)
         package.R
      5. (case class)package.Rule