Modified Files:

[helm.git] / helm / style / expandobj.xsl

diff --git a/helm/style/expandobj.xsl b/helm/style/expandobj.xsl
index 6fc812f368a29e8d0b313f6e69ae1d9c1fbe8e56..d380be3ed63abb689ee61f2b3ef0118dcfdc766b 100644 (file)
--- 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                              -->
 <!--***********************************************************************-->