X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.lang;h=9238684a08cc4de408bd86aef9bfeb85bbee2bb5;hb=081c038388b2822d4755a110d444f13afad97165;hp=478f7422579bc05a8322b95dad3292611cbe7ca1;hpb=7776cfcf5101a263b52f0b8cdee0bc0c8d824533;p=helm.git diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang index 478f74225..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