X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_rg%2Fbrg.ml;h=c9b5ee41573edfaa56f9a6cd7384ace307aab9d6;hb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;hp=be4e6f9b97269bfb262229981cdae00c9e167c4e;hpb=95872555aaa040a22ad2d93cb1278f79e20da70c;p=helm.git

diff --git a/helm/software/helena/src/basic_rg/brg.ml b/helm/software/helena/src/basic_rg/brg.ml
index be4e6f9b9..c9b5ee415 100644
--- a/helm/software/helena/src/basic_rg/brg.ml
+++ b/helm/software/helena/src/basic_rg/brg.ml
@@ -10,7 +10,7 @@
       V_______________________________________________________________ *)
 
 (* kernel version: basic, relative, global *)
-(* note          : ufficial basic lambda-delta *) 
+(* note          : ufficial basic \lambda\delta *) 
 
 module E = Entity
 module N = Level