with matita 0.99.2 we can validate lambdadelta_1 (as is) in 4 minutes

[helm.git] / matita / matita / contribs / lambdadelta / basic_1 / etc / planes.txt

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 (file)
index 0000000..d4b66b3
--- /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