Axiom schema of specification: 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 September 2014

5 November 2013

  • curprev 16:5716:57, 5 November 2013 en>Njol 8,871 bytes +8,871 Re-added the arguments to the formula and changed the other occurrence of \phi to \varphi

21 August 2012