- new tactic subst removes simple non recursive equalities from the context

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

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index b7198579c4eac2c5b67401d1a2f09a295f6cfcab..13c88e48054c678477bea0ceeb60a3eab7c128fa 100644 (file)
--- a/helm/software/matita/matita.lang
+++ b/helm/software/matita/matita.lang
@@ -123,6 +123,7 @@
     <keyword>symmetry</keyword>
     <keyword>simplify</keyword>
     <keyword>split</keyword>
+    <keyword>subst</keyword>
     <keyword>to</keyword>
     <keyword>transitivity</keyword>
     <keyword>unfold</keyword>