matita/matita/contribs/lambdadelta/delayed_updating/names.txt

   1 METAVARIABLES
   2
   3   b         : balanced path
   4   d         : depth
   5   f, g      : update function
   6   h, k      : reference index by depth
   7   l         : label
   8   m, n      : natural number
   9   o         : option
  10   p, q, r, s: path
  11   t, u, v, w: term