File:IsabelleTutorial.png
Jump to navigation
Jump to search
Size of this preview: 463 × 599 pixels. Other resolution: 849 × 1,099 pixels.
Original file (849 × 1,099 pixels, file size: 66 KB, MIME type: image/png)
Summary
| Title / Description
|
Isabelle Tutorial (front page) |
|---|---|
| Author(s)
|
Tobias Nipkow |
| Source
|
"Isabelle" distribution |
| Date created
|
June 21, 2010 |
| Country of first publication
|
Please edit this page and add the country of first publication, or note that it is unknown. |
| Notes
|
You can edit this page and add notes here which may be useful to people who wish to re-use this media. |
| Other versions
|
If there are other versions of this media on CZ, please list them here. |
| Using this image on CZ
|
, then copy the code below to add this image to a Citizendium article, changing the size, alignment, and caption as necessary.
|
Image issue? Contact us via the email below.
Please send email to manager A T citizendium.org .
Licensing/Copyright status
This media, IsabelleTutorial.png, is in the public domain
This work has been released into the public domain by its creator.
This applies worldwide and in perpetuity.
You may freely copy, distribute, display and perform this work, as well as make derivative and commercial works.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 18:55, 11 March 2022 | | 849 × 1,099 (66 KB) | Maintenance script (talk | contribs) | == Summary == Importing file |
You cannot overwrite this file.
File usage
The following page uses this file:
