X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.lang;h=ea9d318283a14d42ab5ff3283a1eb899815ef7db;hb=548f2d3f410c05e2eb332f5c2d074f5e6c6985e1;hp=964ddeb1d5c5c04134294ad4ab1997804bf24aca;hpb=9cce83f0364d04a98cc5e9dfc80ce47ce3c68686;p=helm.git
diff --git a/matita/matita/matita.lang b/matita/matita/matita.lang
index 964ddeb1d..ea9d31828 100644
--- a/matita/matita/matita.lang
+++ b/matita/matita/matita.lang
@@ -109,6 +109,7 @@
alias
and
as
+ associative
coercion
prefer
nocomposites
@@ -124,15 +125,19 @@
inverter
in
interpretation
+ left
let
match
names
- notation
+ non
+ notation
on
+ precedence
qed
rec
record
return
+ right
source
to
universe