X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_1A%2Frect.txt;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_1A%2Frect.txt;h=cba309af3cf55fbb0882491c074d01ec0f11d534;hb=d2545ffd201b1aa49887313791386add78fa8603;hp=0000000000000000000000000000000000000000;hpb=57ae1762497a5f3ea75740e2908e04adb8642cc2;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_1A/rect.txt b/matita/matita/contribs/lambdadelta/basic_1A/rect.txt
new file mode 100644
index 000000000..cba309af3
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/basic_1A/rect.txt
@@ -0,0 +1,3 @@
+T_rect
+A_rect
+C_rect