User:Mathieu/Test: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
imported>Mathieu
mNo edit summary
Line 19: Line 19:


==Main page tests==
==Main page tests==
<div id="accueil_title">{{Main Page/title}}</div>
<!-- ===================================================== -->
{|width="100%" cellspacing="0" cellpadding="0" style="margin-top:0.6em"
|-
|width="50%" valign="middle" style="border:1px solid #CCF7CC;background:#EEFFEE;padding:7px"|
{{Encyclopédie recherche}}
|style="padding:4px;font-size:1px"|&nbsp;
|width="50%" valign="middle" style="border:1px solid #DDDDF7;background:#F7F7FF;padding:7px"|
{{Encyclopédie participation}}
|-
|style="font-size:0.6em;line-height:0.6em"|&nbsp;
|-
| valign="top"|
<!-- ============================================= -->
{{Main Page/Frame
|title = User Documentation
|content = Main Page/User Documentation
|link = [[Template:Main Page/User Documentation|Modifier]]
}}
<!-- ============================================= -->
{{Main Page/Frame
|title = Developer Documentation
|content = Main Page/Developer Documentation
|link = [[Template:Main Page/Developer Documentation|Modifier]]
}}
<!-- ============================================= -->
|style="padding:4px;font-size:1px"|&nbsp;
|width="50%" valign="top"|
<!-- ============================================= -->
{{Main Page/Frame
|title = News
|content = News
|link = {{nobr|[[Template:News/Archives|Archives]] ·}} [[Template:News|Modifier]]
}}
<!-- ============================================= -->
{{Main Page/Frame
|title = Community
|content = Main Page/Community
|link = [[Template:Main Page/Community|Modifier]]
}}
<!-- ============================================= -->
|}

Revision as of 16:06, 27 October 2008

(-E)*\ldots*(-F)\;==\; E*\ldots*F   (if an even number of -)
(-E)*\ldots*(-F)\;==\; -\,(E*\ldots*F)   (if an odd number of -)


\frac{\ }{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}

\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}} HYP
\frac{}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}} HYP

Main page tests