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 21: | Line 21: | ||
{{Image|Isabelle11.png|right|350px|The theorem is proved.}} | {{Image|Isabelle11.png|right|350px|The theorem is proved.}} | ||
{{Image|Isabelle12.png|right|350px| | {{Image|Isabelle12.png|right|350px|Some options of the Proof General.}} | ||
{{Image|Isabelle13.png|right|350px| | {{Image|Isabelle13.png|right|350px|Isabelle, show us your methods...}} | ||
{{Image|Isabelle14.png|right|350px|Add image caption here.}} | {{Image|Isabelle14.png|right|350px|Add image caption here.}} | ||
{{Image|Isabelle15.png|right|350px|Add image caption here.}} | {{Image|Isabelle15.png|right|350px|Add image caption here.}} |