X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Flibraries-clusters.png;h=5adbc2fdee0f4c5ab55b15ff35ae444ce47e11cc;hb=4fa098d44a4f6f88fe09597abf6ad2af726cbff0;hp=d3e52763ea3eb90923f3cddd386b670a3ffac781;hpb=37191f82d959769e24166fd8225e0ff86f717586;p=helm.git

diff --git a/helm/papers/matita/libraries-clusters.png b/helm/papers/matita/libraries-clusters.png
index d3e52763e..5adbc2fde 100644
Binary files a/helm/papers/matita/libraries-clusters.png and b/helm/papers/matita/libraries-clusters.png differ