<xsl:template match="automaton/state">
<xsl:param name="pad"/>
<xsl:text> </xsl:text>
- <xsl:text>state </xsl:text>
+ <xsl:text>State </xsl:text>
<xsl:value-of select="@number"/>
<xsl:text> </xsl:text>
<xsl:apply-templates select="itemset/item">