<!--**** Patch temporanea, per il problema dei threads ***-->
<xsl:when test="(name()= 'APPLY' and CONST[
attribute::uri='cic:/Coq/Init/Logic/Conjunction/and_ind.con']
<!--**** Patch temporanea, per il problema dei threads ***-->
<xsl:when test="(name()= 'APPLY' and CONST[
attribute::uri='cic:/Coq/Init/Logic/Conjunction/and_ind.con']