-0.5.7 - .../01/2009 - Pàdoa release
+0.5.7 - 15/02/2009 - Pàdoa release
+ * are_convertible bug solved, arguments of application where
+ compared allowing cumulativity. This allowed to prove Type0=Type1.
* cases tactic speedup in the simplest case of an inductive type
hose right parameters have all to be abstracted when the outtype is
built