File:IsabelleRef.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 13:0313:03, 14 August 2010‎ imported>Boris Tsirelson‎ 289 bytes +289‎ {{Image_Details|pd |description = Isabelle Reference Manual, front page |author = Makarius Wenzel |source = "Isabelle" distribution |date-created = June 21, 2010 |pub-country = |notes = |versions = }}
Retrieved from "https://citizendium.org/wiki/File:IsabelleRef.png"