partial commit in delayed_updating

[helm.git] / matita / matita / contribs / lambdadelta / delayed_updating / names.txt

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/names.txt b/matita/matita/contribs/lambdadelta/delayed_updating/names.txt
new file mode 100644 (file)
index 0000000..aee9434
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/names.txt
@@ -0,0 +1,9 @@
+METAVARIABLES
+
+  b         : balanced path
+  f, g      : update function
+  h, k      : reference index by depth
+  l         : label
+  m, n      : natural number
+  p, q, r, s: path
+  t, u, v, w: term