X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_1%2Fetc%2Fplanes.txt;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_1%2Fetc%2Fplanes.txt;h=d4b66b373ff5543c71398f272aa2444478e0c90b;hb=78d9265b6261eb24cad483fb57a386e39eae6a3c;hp=0000000000000000000000000000000000000000;hpb=639e798161afea770f41d78673c0fe3be4125beb;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_1/etc/planes.txt b/matita/matita/contribs/lambdadelta/basic_1/etc/planes.txt
new file mode 100644
index 000000000..d4b66b373
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/basic_1/etc/planes.txt
@@ -0,0 +1,13 @@
+T s tlist tlt iso
+C r flt app
+lift cnt drop clear getl clen cimp
+lift1 drop1
+subst0 subst1 subst csubst0 csubst1 fsubst0 
+G next_plus
+sty0 sty1
+A asucc aplus leq llt aprem ex0 
+pr0 wcpr0 pr1 pr2 pr3 
+csubv arity csuba
+nf2 sn3 sc3 csubc ex2
+pc1 pc3
+ty3 csubt wf3 ex1