From 4735518bc617c052344feefa75690b613041a025 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 5 Feb 2009 10:57:16 +0000 Subject: [PATCH] ... --- helm/software/matita/dist/ChangeLog | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog index 4387f35b6..18fe123a2 100644 --- a/helm/software/matita/dist/ChangeLog +++ b/helm/software/matita/dist/ChangeLog @@ -1,4 +1,6 @@ 0.5.7 - .../01/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 -- 2.39.2