up previous next

CompleteToOrd [OBSOLETE]    --    [OBSOLETE] renamed to MakeTermOrdMat

Description

Renamed to MakeTermOrdMat .