X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fmatita.lang;h=9238684a08cc4de408bd86aef9bfeb85bbee2bb5;hb=74c7035b4dd6933bda4479816e51f5771ee1f572;hp=2ba1967a06e5aaaa6b176ff6ad05398bf929650a;hpb=3bd3d3ab850c919b64e1eafc65a8cbd5499fd3b8;p=helm.git
diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index 2ba1967a0..9238684a0 100644
--- a/helm/software/matita/matita.lang
+++ b/helm/software/matita/matita.lang
@@ -99,6 +99,7 @@
ncoinductive
nlet
nlemma
+ nremark
naxiom
@@ -182,6 +183,7 @@
napply
+ napplyS
ncases
nletin
nauto
@@ -193,6 +195,7 @@
nchange
nrewrite
ncut
+ ninversion
nlapply
ndestruct