From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 14 Jun 2005 08:18:18 +0000 (+0000)
Subject: typo fixed: simmetry ==> symmetry
X-Git-Tag: PRE_STORAGE~36
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=78263f105973a87f80d5e9246e133a86fe4fe5fb;p=helm.git

typo fixed: simmetry ==> symmetry
---

diff --git a/helm/matita/matita.lang b/helm/matita/matita.lang
index a20193f1f..70ad1fa00 100644
--- 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>