Difference between pages "Tasklist for EventB meta model development" and "User:Mathieu/Test"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Colin |
imported>Mathieu m |
||
| Line 1: | Line 1: | ||
| − | {| | + | <center> |
| − | + | {| | |
| − | + | |<math>(-E)*\ldots*(-F)\;==\; E*\ldots*F </math> (if an even number of -) | |
| − | |||
|- | |- | ||
| − | | | + | |<math>(-E)*\ldots*(-F)\;==\; -\,(E*\ldots*F) </math> (if an odd number of -) |
| − | + | |} | |
| − | + | ||
| − | + | <math> | |
| − | + | \frac{\ }{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}} | |
| − | + | </math> | |
| − | + | ||
| − | + | {| | |
| − | + | |<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math> | |
| − | + | | HYP | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | | | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | | | ||
| − | | | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | | | ||
|} | |} | ||
| − | + | ||
| + | {{InfRule|HYP|<math>\frac{}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}} | ||
| + | </center> | ||
| + | |||
| + | ==Main page tests== | ||
Revision as of 16:06, 27 October 2008
 (if an even number of -)
|
 (if an odd number of -)
|
|
HYP |
|
HYP |
