X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FPREDICATIVE-TOPOLOGY%2Froot;fp=helm%2Fsoftware%2Fmatita%2Fcontribs%2FPREDICATIVE-TOPOLOGY%2Froot;h=0000000000000000000000000000000000000000;hb=ef05c795559108c1d33cfa048531849807867a81;hp=cde289d74bed50614a6240daba5a878d775d0719;hpb=718d9bcfb53dd76a5c0622aff9fed69a68769324;p=helm.git

diff --git a/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/root b/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/root
deleted file mode 100644
index cde289d74..000000000
--- a/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/root
+++ /dev/null
@@ -1 +0,0 @@
-baseuri=cic:/matita/PREDICATIVE-TOPOLOGY