Not is now inductive.

[helm.git] / helm / software / matita / matita.lang

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index 2ba1967a06e5aaaa6b176ff6ad05398bf929650a..478f7422579bc05a8322b95dad3292611cbe7ca1 100644 (file)
--- a/helm/software/matita/matita.lang
+++ b/helm/software/matita/matita.lang
@@ -193,6 +193,7 @@
          <keyword>nchange</keyword>             
          <keyword>nrewrite</keyword>            
          <keyword>ncut</keyword>                
+         <keyword>ninversion</keyword>
          <keyword>nlapply</keyword>
          <keyword>ndestruct</keyword>