matita/matita/contribs/lambdadelta/basic_1/etc/planes.txt

   1 T s tlist tlt iso
   2 C r flt app
   3 lift cnt drop clear getl clen cimp
   4 lift1 drop1
   5 subst0 subst1 subst csubst0 csubst1 fsubst0
   6 G next_plus
   7 sty0 sty1
   8 A asucc aplus leq llt aprem ex0
   9 pr0 wcpr0 pr1 pr2 pr3
  10 csubv arity csuba
  11 nf2 sn3 sc3 csubc ex2
  12 pc1 pc3
  13 ty3 csubt wf3 ex1