HTML generation for terms

Differentiated functions in Pretty.py for a single term and a
set of terms.