* maction support added to output notation (adopted for "=" that
expands to "= \sub T" to show the equality type)
* generation of derived lemmas rewritten to be based on hooks that
* maction support added to output notation (adopted for "=" that
expands to "= \sub T" to show the equality type)
* generation of derived lemmas rewritten to be based on hooks that