-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