Be less verbose
Whitespace only
Found out how to make theory names clickable
Take occuring constants into account
Print theorem names fully qualified