0.5.7 - .../01/2009 - PĂ doa release
+ * 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
are triggered every definition
* composition of coercions fixed, more composite are generated