0.5.7 - .../01/2009 - PĂ doa release
+ * cases tactic speedup in the simplest case of an inductive type
+ hose right parameters have all to be abstracted when the outtype is
+ built
* 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