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 49: | Line 49: | ||
{{Image|Isabelle15.png|right|350px|...and the theorems.}} | {{Image|Isabelle15.png|right|350px|...and the theorems.}} | ||
[http://www.cse.unsw.edu.au/~kleing/top100/#1] |
Revision as of 15:37, 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.