1. Tactic generalize ported to patterns and activated in matita.

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

diff --git a/helm/matita/matita.lang b/helm/matita/matita.lang
index baccdf71430c09a83f75bc22d91205a8cd3966d7..d2015ee3e4320df4c64b89274acfe09297947776 100644 (file)
--- a/helm/matita/matita.lang
+++ b/helm/matita/matita.lang
@@ -77,6 +77,7 @@
     <keyword>exists</keyword>
     <keyword>fold</keyword>
     <keyword>fourier</keyword>
+    <keyword>generalize</keyword>
     <keyword>goal</keyword>
     <keyword>injection</keyword>
     <keyword>intro</keyword>