From 78263f105973a87f80d5e9246e133a86fe4fe5fb Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 14 Jun 2005 08:18:18 +0000
Subject: [PATCH] typo fixed: simmetry ==> symmetry

---
 helm/matita/matita.lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>
-- 
2.39.2