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

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