matita/matita/contribs/lambdadelta/bin/recomm/bGroundRelocation.mrc

   1 PcsAnd b "" true false
   2 pr_eq
   3 pr_tl, tl, tail
   4 pr_pushs, pushs, iterated push
   5 pr_nexts, nexts, iterated next
   6 pr_tls, tls, iterated tail
   7 pr_id, id
   8 pr_uni, uni, uniform relocations
   9 pr_basic, basic relocation
  10 pr_pat, pat, at
  11 pr_nat, nat
  12 pr_isi, isi, isid, test for identity
  13 pr_isu, isuni, test for uniform relocations
  14 pr_fcla, fcla, finite colength assignment, finite colength
  15 pr_isf, isf, isfin, test for finite colength
  16 pr_ist, ist, istot
  17 pr_isd, isdiv
  18 pr_after, after
  19 pr_coafter, coafter
  20 pr_sle, sle, inclusion
  21 pr_sdj, sdj
  22 pr_sand, sand
  23 pr_sor, sor