X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.lang;h=713b71810aef6ba0b74cdfd911007ce4efc053e6;hb=586c361209ac14e8c2b1da3509041c0c82a86c92;hp=964ddeb1d5c5c04134294ad4ab1997804bf24aca;hpb=9cce83f0364d04a98cc5e9dfc80ce47ce3c68686;p=helm.git
diff --git a/matita/matita/matita.lang b/matita/matita/matita.lang
index 964ddeb1d..713b71810 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,20 @@
inverter
in
interpretation
+ left
let
match
names
- notation
+ non
+ notation
on
+ precedence
qed
+ defined
rec
record
return
+ right
source
to
universe