Difference between revisions of "User:Mathieu/Test"

From Event-B
Jump to navigationJump to search
imported>Mathieu
imported>Mathieu
m
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