X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2Froot;fp=matitaB%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2Froot;h=0000000000000000000000000000000000000000;hb=88a68a9c334646bc17314d5327cd3b790202acd6;hp=ca1729d659b1514b67a1207bcff7dfa9e0770b69;hpb=4904accd80118cb8126e308ae098d87f8651c9f4;p=helm.git

diff --git a/matitaB/matita/contribs/LAMBDA-TYPES/root b/matitaB/matita/contribs/LAMBDA-TYPES/root
deleted file mode 100644
index ca1729d65..000000000
--- a/matitaB/matita/contribs/LAMBDA-TYPES/root
+++ /dev/null
@@ -1 +0,0 @@
-baseuri=cic:/matita/LAMBDA-TYPES