]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/contribs/lambdadelta/delayed_updating/names.txt
715cb268e31b0055130c42ac5c27ba0de6d41b30
[helm.git] / 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