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 25: | Line 25: | ||
{{Image|Isabelle13.png|right|350px|Isabelle, show us your methods...}} | {{Image|Isabelle13.png|right|350px|Isabelle, show us your methods...}} | ||
{{Image|Isabelle14.png|right|350px| | {{Image|Isabelle14.png|right|350px|...and your term bindings...}} | ||
{{Image|Isabelle15.png|right|350px| | {{Image|Isabelle15.png|right|350px|...and the theorems.}} |