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

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