Różnice
Różnice między wybraną wersją a wersją aktualną.
Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw08_xtt_rif:verb [2008/04/22 17:13] miw nowy arkusz |
pl:miw:miw08_xtt_rif:verb [2019/06/27 15:50] (aktualna) |
<xsl:choose> | <xsl:choose> |
<xsl:when test="./Implies/then/Atom"> | <xsl:when test="./Implies/then/Atom"> |
then assert <xsl:apply-templates select="./Implies/then/Atom"/>.<br/> | then <xsl:apply-templates select="./Implies/then/Atom"/>.<br/> |
</xsl:when> | </xsl:when> |
<xsl:when test="./Implies/then/External"> | <xsl:when test="./Implies/then/External"> |
then assert External <xsl:apply-templates select="./Implies/then/External/content/Expr|./Implies/then/External/content/Atom"/>.<br/> | then External <xsl:apply-templates select="./Implies/then/External/content/Expr|./Implies/then/External/content/Atom"/>.<br/> |
</xsl:when> | </xsl:when> |
</xsl:choose> | </xsl:choose> |