New argument (the hypothesis name) for cut.

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

diff --git a/helm/matita/matita.lang b/helm/matita/matita.lang
index d2b6280b78847667723bc0237bfb2077278afa06..735d799220310ce0086ff9a669b9c426d0b2a713 100644 (file)
--- a/helm/matita/matita.lang
+++ b/helm/matita/matita.lang
@@ -35,8 +35,10 @@
     <keyword>rec</keyword>
     <keyword>record</keyword>
     <keyword>with</keyword>
-<!--    <keyword>using</keyword>-->
-<!--    <keyword>at</keyword>-->
+    <keyword>and</keyword>
+    <keyword>to</keyword>
+    <keyword>as</keyword>
+    <keyword>using</keyword>
   </keyword-list>
 
   <pattern-item _name = "Command [" style = "Keyword">