Allow for ordering of symbols in the lambda prettyprinter.
[matthijs/master-project/report.git] / Titlepage.tex
2009-12-07 Matthijs KooijmanImprove the titlepage.