File:IsabelleTutorial.png: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

11 March 2022

14 August 2010

  • curprev 12:5412:54, 14 August 2010‎ imported>Boris Tsirelson‎ 280 bytes +280‎ {{Image_Details|pd |description = Isabelle Tutorial (front page) |author = Tobias Nipkow |source = "Isabelle" distribution |date-created = June 21, 2010 |pub-country = |notes = |versions = }}
Retrieved from "https://citizendium.org/wiki/File:IsabelleTutorial.png"