xoa: change in naming convenctions for existential quantifies

[helm.git] / matita / matita / contribs / lambdadelta / root

diff --git a/matita/matita/contribs/lambdadelta/root b/matita/matita/contribs/lambdadelta/root
index c41bf7380b7ad881f300a99da64eaebc5cd93e4a..4fb517279aa8d0df1283bd3ef5fbbc4dbb4b3b8b 100644 (file)
--- a/matita/matita/contribs/lambdadelta/root
+++ b/matita/matita/contribs/lambdadelta/root
@@ -1 +1 @@
-baseuri=cic:/matita/lambda_delta/
+baseuri=cic:/matita/lambdadelta/