File:IsabelleTutorial.png

From Citizendium
Jump to navigation Jump to search

Original file(849 × 1,099 pixels, file size: 66 KB, MIME type: image/png)

Summary

Importing file

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current19:55, 11 March 2022Thumbnail for version as of 19:55, 11 March 2022849 × 1,099 (66 KB)Maintenance script (talk | contribs)== Summary == Importing file

The following page uses this file:

Metadata