typo fixed: simmetry ==> symmetry

diff --git a/helm/matita/matita.lang b/helm/matita/matita.lang
index a20193f1feb76ae32a6a1307ffa9197e5c4f9f69..70ad1fa00bc6caf063ebd41e91b161a8c549f50f 100644 (file)
--- a/helm/matita/matita.lang
+++ b/helm/matita/matita.lang
@@ -94,7 +94,7 @@
     <keyword>rewrite</keyword>
     <keyword>right</keyword>
     <keyword>ring</keyword>
-    <keyword>simmetry</keyword>
+    <keyword>symmetry</keyword>
     <keyword>simplify</keyword>
     <keyword>split</keyword>
     <keyword>transitivity</keyword>