Recommendations - Revision history

Pierre Clairambault: typo in url

2009-12-08T14:06:49Z

typo in url

Lionel Vaux: /* Proofs */ only a simple example

2009-07-06T15:12:54Z

‎Proofs: only a simple example

Olivier Laurent: /* Proofs */ \VdotsRule added

2009-06-10T17:25:48Z

‎Proofs: \VdotsRule added

Olivier Laurent: /* Set of rules */ use of \rulename

2009-02-12T22:03:25Z

‎Set of rules: use of \rulename

Olivier Laurent: /* Proofs */ use of \rulename

2009-02-12T22:01:41Z

‎Proofs: use of \rulename

Olivier Laurent: /* User account */ typos

2009-02-08T21:17:06Z

‎User account: typos

Olivier Laurent: /* Notations */ Conventions added

2009-02-08T21:15:58Z

‎Notations: Conventions added

Olivier Laurent: /* Definitions and theorems */ Remark added

2009-02-08T13:52:39Z

‎Definitions and theorems: Remark added

Olivier Laurent: /* Set of rules */
instead of

2009-01-12T21:31:54Z

‎Set of rules: <br /> instead of <br>

Olivier Laurent: formating of groups of rules

2009-01-07T18:45:51Z

formating of groups of rules

@@ Line 48: / Line 48: @@
 === Proofs ===
-The syntax for proofs is based on the [http://whttp://www.math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/ bussproofs.sty] package, but available only through a sugar-coated specific to llwiki. Here is an example:
+The syntax for proofs is based on the [http://www.math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/ bussproofs.sty] package, but available only through a sugar-coated specific to llwiki. Here is an example:
 <pre>
 \AxRule{}

@@ Line 48: / Line 48: @@
 === Proofs ===
-The syntax for proofs is based on the [http://whttp://www.math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/ bussproofs.sty] package. The only allowed macros are those used in the following example:
+The syntax for proofs is based on the [http://whttp://www.math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/ bussproofs.sty] package, but available only through a sugar-coated specific to llwiki. Here is an example:
 <pre>
-\AxRule{{}\vdash\Gamma,A,B,C}
+\AxRule{}
-\VdotsRule{\pi}{{}\vdash\Gamma,A\parr B\parr C}
+\VdotsRule{s}{{}\vdash\Gamma,A\imp B}
-\NulRule{{}\vdash A,A\orth}
+\AxRule{}
-\NulRule{{}\vdash B,B\orth}
+\VdotsRule{t}{{}\vdash\Gamma, A}
-\NulRule{{}\vdash C,C\orth}
+\BinRule{{}\vdash \Gamma, B}
-\TriRule{{}\vdash A,B,C,A\orth\tens B\orth\tens C\orth}
+\LabelRule{\rulename{modus ponens}}
-\LabelRule{\rulename{cut}}
+\DisplayProof
-\BinRule{{}\vdash\Gamma,A,B,C}
+\quad
-\UnaRule{{}\vdash\Gamma,A\parr B\parr C}
+\longrightarrow_\beta
 \DisplayProof
 </pre>
 <math>
-\AxRule{{}\vdash\Gamma,A,B,C}
+\AxRule{}
-\VdotsRule{\pi}{{}\vdash\Gamma,A\parr B\parr C}
+\VdotsRule{s}{{}\vdash\Gamma,A\imp B}
-\NulRule{{}\vdash A,A\orth}
+\AxRule{}
-\NulRule{{}\vdash B,B\orth}
+\VdotsRule{t}{{}\vdash\Gamma, A}
-\NulRule{{}\vdash C,C\orth}
+\BinRule{{}\vdash \Gamma, B}
-\TriRule{{}\vdash A,B,C,A\orth\tens B\orth\tens C\orth}
+\LabelRule{\rulename{modus ponens}}
-\LabelRule{\rulename{cut}}
+\DisplayProof
-\BinRule{{}\vdash\Gamma,A,B,C}
+\quad
-\UnaRule{{}\vdash\Gamma,A\parr B\parr C}
+\longrightarrow_\beta
 \DisplayProof
 </math>
 === Set of rules ===

@@ Line 51: / Line 51: @@
 <pre>
-\AxRule{{}\vdash\Gamma,A\parr B\parr C}
+\AxRule{{}\vdash\Gamma,A,B,C}
 \NulRule{{}\vdash A,A\orth}
 \NulRule{{}\vdash B,B\orth}
@@ Line 63: / Line 63: @@
 <math>
-\AxRule{{}\vdash\Gamma,A\parr B\parr C}
+\AxRule{{}\vdash\Gamma,A,B,C}
 \NulRule{{}\vdash A,A\orth}
 \NulRule{{}\vdash B,B\orth}

@@ Line 82: / Line 82: @@
 \AxRule{\textit{Hyp}_1}
 \AxRule{\textit{Hyp}_2}
-\LabelRule{\text{Rule}_1}
+\LabelRule{\rulename{Rule}_1}
 \BinRule{\textit{Concl}}
 \DisplayProof
@@ Line 88: / Line 88: @@
 \AxRule{\textit{Hyp}_1}
 \AxRule{\textit{Hyp}_2}
-\LabelRule{\text{Rule}_1}
+\LabelRule{\rulename{Rule}_1}
 \BinRule{\textit{Concl}}
 \DisplayProof
@@ Line 98: / Line 98: @@
 \AxRule{\textit{Hyp}_1}
 \AxRule{\textit{Hyp}_2}
-\LabelRule{\text{Rule}_3}
+\LabelRule{\rulename{Rule}_3}
 \BinRule{\textit{Concl}}
 \DisplayProof
@@ Line 104: / Line 104: @@
 \AxRule{\textit{Hyp}_1}
 \AxRule{\textit{Hyp}_2}
-\LabelRule{\text{Rule}_4}
+\LabelRule{\rulename{Rule}_4}
 \BinRule{\textit{Concl}}
 \DisplayProof
@@ Line 113: / Line 113: @@
 \AxRule{\textit{Hyp}_1}
 \AxRule{\textit{Hyp}_2}
-\LabelRule{\text{Rule}_1}
+\LabelRule{\rulename{Rule}_1}
 \BinRule{\textit{Concl}}
 \DisplayProof
@@ Line 119: / Line 119: @@
 \AxRule{\textit{Hyp}_1}
 \AxRule{\textit{Hyp}_2}
-\LabelRule{\text{Rule}_2}
+\LabelRule{\rulename{Rule}_2}
 \BinRule{\textit{Concl}}
 \DisplayProof
@@ Line 129: / Line 129: @@
 \AxRule{\textit{Hyp}_1}
 \AxRule{\textit{Hyp}_2}
-\LabelRule{\text{Rule}_3}
+\LabelRule{\rulename{Rule}_3}
 \BinRule{\textit{Concl}}
 \DisplayProof
@@ Line 135: / Line 135: @@
 \AxRule{\textit{Hyp}_1}
 \AxRule{\textit{Hyp}_2}
-\LabelRule{\text{Rule}_4}
+\LabelRule{\rulename{Rule}_4}
 \BinRule{\textit{Concl}}
 \DisplayProof

@@ Line 56: / Line 56: @@
 \NulRule{{}\vdash C,C\orth}
 \TriRule{{}\vdash A,B,C,A\orth\tens B\orth\tens C\orth}
-\LabelRule{\textit{cut}}
+\LabelRule{\rulename{cut}}
 \BinRule{{}\vdash\Gamma,A,B,C}
 \UnaRule{{}\vdash\Gamma,A\parr B\parr C}
@@ Line 68: / Line 68: @@
 \NulRule{{}\vdash C,C\orth}
 \TriRule{{}\vdash A,B,C,A\orth\tens B\orth\tens C\orth}
-\LabelRule{\textit{cut}}
+\LabelRule{\rulename{cut}}
 \BinRule{{}\vdash\Gamma,A,B,C}
 \UnaRule{{}\vdash\Gamma,A\parr B\parr C}

@@ Line 1: / Line 1: @@
 == User account ==
-* use "FirstName LastName" as Username
+* Use "FirstName LastName" as Username.
-* use a valid e-mail address
+* Use a valid e-mail address.
 == Conventions ==

@@ Line 11: / Line 11: @@
 For theorem-style environments, use the appropriate predefined [http://www.mediawiki.org/wiki/Templates templates]: [[Template:Definition|Definition]], [[Template:Theorem|Theorem]], [[Template:Proposition|Proposition]], [[Template:Lemma|Lemma]], [[Template:Corollary|Corollary]] (with an optional parameter "title").
-A template [[Template:Proof|Proof]] is also defined for proofs.
+Additional templates are [[Template:Proof|Proof]] for proofs and [[Template:Remark|Remark]] for remarks.
 {| border="1" cellpadding="10" cellspacing="1"
@@ Line 21: / Line 21: @@
 {{Proof|Left to the reader.}}
 </pre>
+|
@@ Line 28: / Line 30: @@
 {{Proof|Left to the reader.}}
 |-
 |}

@@ Line 67: / Line 67: @@
 === Set of rules ===
-For a group of rules, separate rules on a line by <nowiki>\qquad</nowiki> and separate lines by <nowiki><br></nowiki>.
+For a group of rules, separate rules on a line by <nowiki>\qquad</nowiki> and separate lines by <nowiki><br /></nowiki>.
 <pre>
@@ Line 84: / Line 84: @@
 </math>
-<br>
+<br />
 <math>
@@ Line 115: / Line 115: @@
 </math>
-<br>
+<br />
 <math>