12,080
edits
Changes
→C<sub>2</sub>. Generation theorem: extra spacing : banner ---> marquee
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
|-
| [[Image:Generation Theorem 1.0 Banner Title.png|500px]]
| [[Image:Generation Theorem 1.0 Marquee Title.png|500px]]
|-
|-
| [[Image:Generation Theorem 1.0 Storyboard 1.png|500px]]
| [[Image:Generation Theorem 1.0 Storyboard 1.png|500px]]
| [[Image:Generation Theorem 1.0 Storyboard 6.png|500px]]
| [[Image:Generation Theorem 1.0 Storyboard 6.png|500px]]
|-
|-
| [[Image:Equational Inference Banner QED.png|500px]]
| [[Image:Equational Inference Marquee QED.png|500px]]
|}
|}
| (28)
| (28)