User:Boris Tsirelson/Sandbox1: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson No edit summary |
imported>Boris Tsirelson No edit summary |
||
| Line 22: | Line 22: | ||
Definitions are processed; the formulation of the first lemma is being processed. | Definitions are processed; the formulation of the first lemma is being processed. | ||
{{Image|Isabelle4.png|left|350px|The formulation of the first lemma is processed; the goal is pending.}} | |||
The formulation of the first lemma is processed; the goal is pending. | The formulation of the first lemma is processed; the goal is pending. | ||
{{Image|Isabelle5.png|right|350px|At last, a really serious lemma.}} | {{Image|Isabelle5.png|right|350px|At last, a really serious lemma.}} | ||
Revision as of 14:12, 8 August 2010
The graphical user interface started.
The source file is read.
Definitions are processed; the formulation of the first lemma is being processed.
The formulation of the first lemma is processed; the goal is pending.
