X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FrecommLexer.mll;h=99ff840af11fddea6f36185c88ce325d03a0c248;hp=21cca9c6c21529ea6a4a3b0d5f7e1ad387496d53;hb=4d232392091ee233afc26ecf3120dd5f5c6a33c8;hpb=da0775e27b362e91ea1453a800bc403781cc2ca3

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll b/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
index 21cca9c6c..99ff840af 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
@@ -8,15 +8,18 @@
   |]
 
   let heads = [|
-    "Advanved";
+    "Advanced";
     "Basic";
     "Constructions";
     "Forward";
     "Destructions";
     "Eliminations";
     "Eliminators";
+    "Equalities";
+    "Helper";
     "Inversion";
     "Inversions";
+    "Iterators";
     "Main";
     "Properties";
   |]
@@ -53,7 +56,7 @@ let CR = "\r"
 let SP = " "
 let NL = "\n"
 let SR = "*"
-let OP = "(*" SP*
+let OP = "(*"
 let CP = SR* "*)"  
 let PP = CP SP* OP
 let WF = ['A'-'Z' 'a'-'z']