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 16: | Line 16: | ||
The source file is read. | The source file is read. | ||
{{Image|Isabelle3.png|right|350px|Definitions are processed; the formulation of the first lemma is being processed.}} | |||
Definitions are processed; the formulation of the first lemma is being processed. | |||
The formulation of the first lemma is processed; the goal is pending. | The formulation of the first lemma is processed; the goal is pending. |