X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fexpandobj.xsl;h=d380be3ed63abb689ee61f2b3ef0118dcfdc766b;hb=e1d232bab1b061d9098fd666ca24bed84b38f99e;hp=6fc812f368a29e8d0b313f6e69ae1d9c1fbe8e56;hpb=ed5997c069d632999f6e970857cfa74c99f9c050;p=helm.git

diff --git a/helm/style/expandobj.xsl b/helm/style/expandobj.xsl
index 6fc812f36..d380be3ed 100644
--- a/helm/style/expandobj.xsl
+++ b/helm/style/expandobj.xsl
@@ -25,7 +25,7 @@
 <!-- http://cs.unibo.it/helm/.                                         -->
 
 <!--***********************************************************************--> 
-<!-- XSLT version 0.1 of theory objects to theory sections:                -->
+<!-- XSLT version 0.1 of theory sections to theory sections with objects   -->
 <!-- First draft: March 08 2001, Irene Schena                              -->
 <!--***********************************************************************-->