This page has moved to
../../pub/partialorder-extended.html
.