X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_rg%2FbrgLYP.ml;h=9870a85bb861a50da176e9dde318f7f963caa7d5;hp=0c4a2abbd384f4a48073d84359555b1f5f4387ac;hb=9b1b59a049935f5382ed7def91b807bbf9453894;hpb=88977b2d546e547e23b046792fe2ad8f6ff192a4

diff --git a/helm/software/helena/src/basic_rg/brgLYP.ml b/helm/software/helena/src/basic_rg/brgLYP.ml
index 0c4a2abbd..9870a85bb 100644
--- a/helm/software/helena/src/basic_rg/brgLYP.ml
+++ b/helm/software/helena/src/basic_rg/brgLYP.ml
@@ -26,7 +26,7 @@ IFDEF MANAGER THEN
 
 let version = KP.sprintf "This file was generated by %s: do not edit" (G.version_string true)
 
-let affiliation = "This file is part of the LYP engine"
+let affiliation = "This file is part of the λΥP engine"
 
 let description = "This file contains the Grundlagen for lyp_global: validate by invoking clause (grundlagen)"