Library CoLoR.MannaNess.AMannaNess

Library CoLoR.DP.ADPGraph

Library CoLoR.DP.Subterm

Library CoLoR.DP.AGraph

Library CoLoR.DP.ASCCUnion

Library CoLoR.DP.ADP

Library CoLoR.DP.ADecomp

Library CoLoR.DP.ADPUnif

Library CoLoR.DP.AHDE

Library CoLoR.Filter.AFilter

Library CoLoR.Conversion.ATerm_of_String

Library CoLoR.Conversion.VTerm_of_ATerm

Library CoLoR.Term.WithArity.ADuplicateSymb

Library CoLoR.Term.WithArity.ARelation

Library CoLoR.Term.WithArity.ABterm

Library CoLoR.Term.WithArity.ANotvar

Library CoLoR.Term.WithArity.ACap

Library CoLoR.Term.WithArity.ATrs

Library CoLoR.Term.WithArity.ASubstitution

Library CoLoR.Term.WithArity.ACompat

Library CoLoR.Term.WithArity.ASignature

Library CoLoR.Term.WithArity.AMonAlg

Library CoLoR.Term.WithArity.AVariables

Library CoLoR.Term.WithArity.ATerm

Library CoLoR.Term.WithArity.AInterpretation

Library CoLoR.Term.WithArity.ARenCap

Library CoLoR.Term.WithArity.AUnif

Library CoLoR.Term.WithArity.AWFMInterpretation

Library CoLoR.Term.WithArity.AContext

Library CoLoR.Term.WithArity.ARename

Library CoLoR.Term.WithArity.ASN

Library CoLoR.Term.WithArity.ACalls

Library CoLoR.Term.WithArity.ATrsNorm

Library CoLoR.Term.String.SReverse

Library CoLoR.Term.String.Srs

Library CoLoR.Term.String.SContext

Library CoLoR.Term.SimpleType.TermsDef

Library CoLoR.Term.SimpleType.TermsManip

Library CoLoR.Term.SimpleType.TermsBeta

Library CoLoR.Term.SimpleType.TermsTyping

Library CoLoR.Term.SimpleType.TermsActiveEnv

Library CoLoR.Term.SimpleType.TermsConv

Library CoLoR.Term.SimpleType.TermsSubst

Library CoLoR.Term.SimpleType.TermsEta

Library CoLoR.Term.SimpleType.TermsLifting

Library CoLoR.Term.SimpleType.Terms

Library CoLoR.Term.SimpleType.TermsEnv

Library CoLoR.Term.SimpleType.TermsSig

Library CoLoR.Term.SimpleType.TermsPos

Library CoLoR.Term.SimpleType.TermsRed

Library CoLoR.Term.SimpleType.TermsBuilding

Library CoLoR.Term.SimpleType.TermsAlgebraic

Library CoLoR.Term.SimpleType.TermsSubstConv

Library CoLoR.Term.Varyadic.VContext

Library CoLoR.Term.Varyadic.VTrs

Library CoLoR.Term.Varyadic.VSubstitution

Library CoLoR.Term.Varyadic.VTerm

Library CoLoR.Term.Varyadic.VSignature

Library CoLoR.HORPO.Horpo

Library CoLoR.HORPO.HorpoExMap

Library CoLoR.HORPO.Computability

Library CoLoR.HORPO.HorpoWf

Library CoLoR.HORPO.HorpoExNonTrans

Library CoLoR.HORPO.HorpoComp

Library CoLoR.RPO.VPrecedence

Library CoLoR.RPO.VRPO_Type

Library CoLoR.RPO.VMPO

Library CoLoR.RPO.VRPO_Results

Library CoLoR.RPO.VLPO

Library CoLoR.RPO.VRPO_Prover

Library CoLoR.RPO.VRPO_Status

Library CoLoR.MatrixInt.AMatrixInt

Library CoLoR.MatrixInt.AArcticBZInt

Library CoLoR.MatrixInt.AArcticBasedInt

Library CoLoR.MatrixInt.AArcticInt

Library CoLoR.MatrixInt.AMatrixBasedInt

Library CoLoR.MPO.VMpo

Library CoLoR.PolyInt.APolyInt_MA

Library CoLoR.PolyInt.APolyInt

Library CoLoR.Util.Logic.DepChoicePrf

Library CoLoR.Util.Logic.ClassicUtil

Library CoLoR.Util.Logic.LogicUtil

Library CoLoR.Util.Logic.DepChoice

Library CoLoR.Util.Logic.EqUtil

Library CoLoR.Util.FSet.FSetUtil

Library CoLoR.Util.List.ListUtil

Library CoLoR.Util.List.LexicographicOrder

Library CoLoR.Util.List.ListExtras

Library CoLoR.Util.List.ListOccur

Library CoLoR.Util.List.ListRepeatFree

Library CoLoR.Util.List.SortUtil

Library CoLoR.Util.List.ListMax

Library CoLoR.Util.List.ListPermutation

Library CoLoR.Util.List.ListShrink

Library CoLoR.Util.List.ListSort

Library CoLoR.Util.List.ListForall

Library CoLoR.Util.List.ListDec

Library CoLoR.Util.Integer.ZUtil

Library CoLoR.Util.Algebra.SemiRing

Library CoLoR.Util.Algebra.OrdSemiRing

Library CoLoR.Util.Relation.RelUtil

Library CoLoR.Util.Relation.Path

Library CoLoR.Util.Relation.SCC_dec

Library CoLoR.Util.Relation.Preorder

Library CoLoR.Util.Relation.Lexico

Library CoLoR.Util.Relation.SCCTopoOrdering

Library CoLoR.Util.Relation.RelMidex

Library CoLoR.Util.Relation.RedLength

Library CoLoR.Util.Relation.NotSN

Library CoLoR.Util.Relation.Total

Library CoLoR.Util.Relation.RelExtras

Library CoLoR.Util.Relation.Union

Library CoLoR.Util.Relation.RelDec

Library CoLoR.Util.Relation.AdjMat

Library CoLoR.Util.Relation.GDomainBij

Library CoLoR.Util.Relation.RelSub

Library CoLoR.Util.Relation.AccUtil

Library CoLoR.Util.Relation.SN

Library CoLoR.Util.Relation.Cycle

Library CoLoR.Util.Relation.Iter

Library CoLoR.Util.Relation.NotSN_IS

Library CoLoR.Util.Relation.IS_NotSN

Library CoLoR.Util.Relation.SCC

Library CoLoR.Util.Relation.OrdDec

Library CoLoR.Util.Vector.VecBool

Library CoLoR.Util.Vector.VecArith

Library CoLoR.Util.Vector.VecFilter

Library CoLoR.Util.Vector.VecOrd

Library CoLoR.Util.Vector.VecMax

Library CoLoR.Util.Vector.VecUtil

Library CoLoR.Util.Vector.NaryFunction

Library CoLoR.Util.Nat.NatUtil

Library CoLoR.Util.Nat.Log2

Library CoLoR.Util.Nat.BoundNat

Library CoLoR.Util.Bool.BoolUtil

Library CoLoR.Util.Polynom.Polynom

Library CoLoR.Util.Polynom.PositivePolynom

Library CoLoR.Util.Polynom.MonotonePolynom

Library CoLoR.Util.Matrix.Matrix

Library CoLoR.Util.Multiset.MultisetList

Library CoLoR.Util.Multiset.MultisetListOrder

Library CoLoR.Util.Multiset.MultisetOrder

Library CoLoR.Util.Multiset.MultisetCore

Library CoLoR.Util.Multiset.MultisetTheory

Library CoLoR.Util.Multiset.MultisetNat

Library CoLoR.Util.Pair.LexOrder

Library CoLoR.Util.Pair.PairUtil