http://140-77-166-78.cprapid.com/mediawiki/index.php?action=history&feed=atom&title=Talk%3ASemantics 2026-04-12T07:33:47Z Revision history for this page on the wiki MediaWiki 1.19.20+dfsg-0+deb7u3 http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Talk:Semantics&diff=581&oldid=prev 2013-04-25T19:59:24Z

<p>‎<span dir="auto"><span class="autocomment">Page status: </span> obsolete comment</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 19:59, 25 April 2013</td> </tr><tr> <td colspan="2" class="diff-lineno">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"><div>== Page status ==</div></td> <td colspan="2" class="diff-empty">&#160;</td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"></td> <td colspan="2" class="diff-empty">&#160;</td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"><div>This page does not seem to be particularly semantic, except maybe for the mention of naturality.</div></td> <td colspan="2" class="diff-empty">&#160;</td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"></td> <td colspan="2" class="diff-empty">&#160;</td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"><div>See also [[Talk:Sequent calculus#Equivalences]].</div></td> <td colspan="2" class="diff-empty">&#160;</td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"></td> <td colspan="2" class="diff-empty">&#160;</td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"><div>--</div></td> <td colspan="2" class="diff-empty">&#160;</td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 08:42, 19 October 2009 (UTC)</div></td> <td colspan="2" class="diff-empty">&#160;</td> </tr> </table>

Olivier Laurent http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Talk:Semantics&diff=429&oldid=prev 2009-10-19T08:42:59Z

<p>Page status</p> <p><b>New page</b></p><div>== Page status ==<br /> <br /> This page does not seem to be particularly semantic, except maybe for the mention of naturality.<br /> <br /> See also [[Talk:Sequent calculus#Equivalences]].<br /> <br /> --<br /> [[User:Olivier Laurent|Olivier Laurent]] 08:42, 19 October 2009 (UTC)</div>

Olivier Laurent