* November 2006: Lukas Bulwahn, TUM -- HOL/function: method "lexicographic_order".
* November 2006: Lukas Bulwahn, TUM -- HOL/function: method "lexicographic_order".

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