additional commit for version 0.8.2

[helm.git] / helm / software / helena / matita / grundlagen_2.ma

diff --git a/helm/software/helena/matita/grundlagen_2.ma b/helm/software/helena/matita/grundlagen_2.ma
index 79609205d13c5951684973c0c9cb3bc3e60d4e41..773c8a9deaa86aee61f85c4b06cb1ec16df53570 100644 (file)
--- 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".