X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Ftext%2FtxtLexer.mll;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Ftext%2FtxtLexer.mll;h=efee66051904cef4606a3dba1c687aaf3cab2b1e;hb=22fd9c98a22929f0319286c0693fcdaee43a72df;hp=e5ced380684b07046560d3a49e341c67432a1937;hpb=10d33a8c1be31d0c7aeccee8968fd5218ca2510a;p=helm.git

diff --git a/helm/software/lambda-delta/src/text/txtLexer.mll b/helm/software/lambda-delta/src/text/txtLexer.mll
index e5ced3806..efee66051 100644
--- a/helm/software/lambda-delta/src/text/txtLexer.mll
+++ b/helm/software/lambda-delta/src/text/txtLexer.mll
@@ -46,6 +46,7 @@ and token = parse
    | "\\graph"    { out "GRAPH"; TP.GRAPH }
    | "\\decl"     { out "DECL"; TP.DECL   }
    | "\\ax"       { out "AX"; TP.AX       }
+   | "\\cong"     { out "CONG"; TP.CONG   }
    | "\\def"      { out "DEF"; TP.DEF     }
    | "\\th"       { out "TH"; TP.TH       }
    | "\\generate" { out "GEN"; TP.GEN     }
@@ -69,4 +70,5 @@ and token = parse
    | "~"          { out "TE"; TP.TE       }
    | "->"         { out "WTO"; TP.WTO     }
    | "=>"         { out "STO"; TP.STO     }
+   | "^"          { out "CT"; TP.CT       }
    | eof          { out "EOF"; TP.EOF     }