User:Boris Tsirelson/Sandbox1: Difference between revisions

Revision as of 13:48, 8 August 2010

(CC) Image: Boris Tsirelson
The graphical user interface started.

(CC) Image: Boris Tsirelson
The source file is read.

(CC) Image: Boris Tsirelson
Definitions are processed; the formulation of the first lemma is being processed.

(CC) Image: Boris Tsirelson
The formulation of the first lemma is processed; the goal is pending.

(CC) Image: Boris Tsirelson
At last, a serious lemma.

(CC) Image: Boris Tsirelson
The goal.

(CC) Image: Boris Tsirelson
"We have", why?

(CC) Image: Boris Tsirelson
Here is why!

(CC) Image: Boris Tsirelson
Add image caption here.

@@ Line 7: / Line 7: @@
 {{Image|Isabelle4.png|right|350px|The formulation of the first lemma is processed; the goal is pending.}}
-{{Image|Isabelle5.png|right|350px|Add image caption here.}}
+{{Image|Isabelle5.png|right|350px|At last, a serious lemma.}}
-{{Image|Isabelle6.png|right|350px|Add image caption here.}}
+{{Image|Isabelle6.png|right|350px|The goal.}}
-{{Image|Isabelle7.png|right|350px|Add image caption here.}}
+{{Image|Isabelle7.png|right|350px|"We have", why?}}
-{{Image|Isabelle8.png|right|350px|Add image caption here.}}
+{{Image|Isabelle8.png|right|350px|Here is why!}}
 {{Image|Isabelle9.png|right|350px|Add image caption here.}}