Declarative tactics for rewriting steps, elimination of the existential

[helm.git] / matita / matita.lang

diff --git a/matita/matita.lang b/matita/matita.lang
index 0dbfa4c78187f4653b90736f7b13badd47c82de5..3aa42083e6496994b79a22043ce39676bcb2b405 100644 (file)
--- a/matita/matita.lang
+++ b/matita/matita.lang
@@ -153,6 +153,7 @@
     <keyword>know</keyword>
     <keyword>case</keyword>             
     <keyword>obtain</keyword>           
+    <keyword>done</keyword>             
 </keyword-list>
 
   <keyword-list _name = "Tacticals" style = "Keyword" case-sensitive="TRUE">