Library Nijn.TerminationTechniques.PolynomialMethod
Require Export Nijn.TerminationTechniques.PolynomialMethod.Polynomial.
Require Export Nijn.TerminationTechniques.PolynomialMethod.PolynomialNotation.
Require Export Nijn.TerminationTechniques.PolynomialMethod.PolynomialTactics.
Require Export Nijn.TerminationTechniques.PolynomialMethod.PolynomialNotation.
Require Export Nijn.TerminationTechniques.PolynomialMethod.PolynomialTactics.