Template:Proof assistant/Metadata: 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.

12 August 2010

  • curprev 03:1903:19, 12 August 2010‎ imported>Boris Tsirelson‎ 2,342 bytes +2,342‎ No edit summary
  • curprev 03:1403:14, 12 August 2010‎ imported>Boris Tsirelson‎ 2,332 bytes +2,332‎ New page: {{#switch: {{{info}}} <!-- Pagename must be filled out for subpages system to work correctly. e.g., pagename = Albert Einstein --> | pagename = Proof assistant <!-- ''abc'' means th...
Retrieved from "https://citizendium.org/wiki/Template:Proof_assistant/Metadata"