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 1: | Line 1: | ||
The graphical user interface started. | |||
{{Image|Isabelle1.png|right|350px|The graphical user interface started.}} | {{Image|Isabelle1.png|right|350px|The graphical user interface started.}} | ||
The source file is read. | |||
{{Image|Isabelle2.png|left|350px|The source file is read.}} | {{Image|Isabelle2.png|left|350px|The source file is read.}} | ||
Definitions are processed; the formulation of the first lemma is being processed. | |||
{{Image|Isabelle3.png|right|350px|Definitions are processed; the formulation of the first lemma is being processed.}} | {{Image|Isabelle3.png|right|350px|Definitions are processed; the formulation of the first lemma is being processed.}} | ||
The formulation of the first lemma is processed; the goal is pending. | |||
{{Image|Isabelle4.png|left|350px|The formulation of the first lemma is processed; the goal is pending.}} | {{Image|Isabelle4.png|left|350px|The formulation of the first lemma is processed; the goal is pending.}} | ||