X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcomplete_rg%2Fcrg.ml;h=9518ff60bc1889556e03255c43b088afd03af5e2;hb=f72311aa07e71090a24eef9e4fb97cc2e95e6b16;hp=5a394f4f8372f3411430137b45e3da9f9a61d827;hpb=95872555aaa040a22ad2d93cb1278f79e20da70c;p=helm.git

diff --git a/helm/software/helena/src/complete_rg/crg.ml b/helm/software/helena/src/complete_rg/crg.ml
index 5a394f4f8..9518ff60b 100644
--- a/helm/software/helena/src/complete_rg/crg.ml
+++ b/helm/software/helena/src/complete_rg/crg.ml
@@ -10,7 +10,7 @@
       V_______________________________________________________________ *)
 
 (* kernel version: complete, relative, global *)
-(* note          : fragment of complete lambda-delta serving as abstract layer *) 
+(* note          : fragment of complete \lambda\delta serving as abstract layer *) 
 
 module C = Cps
 module E = Entity