Fixed the definition of `termord': is now antisymmetric.
Fixed the definition of `termord': is now antisymmetric.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle