- predefined_virtuals: an addition

[helm.git] / matita / matita / contribs / lambda_delta / basic_2 / names.txt

diff --git a/matita/matita/contribs/lambda_delta/basic_2/names.txt b/matita/matita/contribs/lambda_delta/basic_2/names.txt
index dfa83ebddb1078f5a01f86f026c0f36d1f803b63..31ae26c39bafb48bb88dccce9e1c7ee6a68d91da 100644 (file)
--- a/matita/matita/contribs/lambda_delta/basic_2/names.txt
+++ b/matita/matita/contribs/lambda_delta/basic_2/names.txt
@@ -37,4 +37,4 @@ b: binder
 d: abbreviation
 f: flat
 l: abstraction
-t: native type annotation
+n: native type annotation