HomeIsabelle/Phabricator

fixes for new-style definition of lexicographic ordering