refactoring of \lambda\delta version 1 in matita

[helm.git] / matitaB / matita / contribs / LAMBDA-TYPES / root

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