X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fmatita%2Fgrundlagen_2.ma;h=773c8a9deaa86aee61f85c4b06cb1ec16df53570;hb=ae22633ad934bba5fb32143f1726cdfbd255b899;hp=79609205d13c5951684973c0c9cb3bc3e60d4e41;hpb=04ffe68396b98bbf21bcd403ffba03b94eaebadc;p=helm.git

diff --git a/helm/software/helena/matita/grundlagen_2.ma b/helm/software/helena/matita/grundlagen_2.ma
index 79609205d..773c8a9de 100644
--- a/helm/software/helena/matita/grundlagen_2.ma
+++ b/helm/software/helena/matita/grundlagen_2.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-(* This file was generated by Helena 0.8.2 M - December 2014: do not edit *)
+(* This file was generated by Helena 0.8.2 M (February 2015): do not edit *)
 
 include "basics/pts.ma".