lib/Tools/update_theorems
2015-10-06 wenzelm 2015-10-06 fewer aliases for toplevel theorem statements;