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

   1 PcsAnd b "" true false
   2 gr_eq
   3 gr_tl, tl, tail
   4 gr_pushs, pushs, iterated push
   5 gr_nexts, nexts, iterated next
   6 gr_tls, tls, iterated tail
   7 gr_id, id
   8 gr_uni, uni, uniform relocations
   9 gr_basic, basic relocation
  10 gr_pat, pat, at
  11 gr_nat, nat
  12 gr_isi, isi, isid, test for identity
  13 gr_isu, isuni, test for uniform relocations
  14 gr_fcla, fcla, finite colength assignment, finite colength
  15 gr_isf, isf, isfin, test for finite colength
  16 gr_ist, ist, istot
  17 gr_isd, isdiv
  18 gr_after, after
  19 gr_coafter, coafter
  20 gr_sle, sle, inclusion
  21 gr_sdj, sdj
  22 gr_sand, sand
  23 gr_sor, sor