simplified addPrettyPrinter setup: may pass (fn ...) directly if type constraints are omitted -- addPrettyPrinter treated as a special case internally;
lcp paulson
norbert.schirmer@web.de schirmer
urbanc@in.tum.de urbanc
nipkow@lapbroy100.local nipkow
chaieb@chaieb-laptop chaieb
immler@in.tum.de immler