Choice function: 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 December 2014

12 January 2014

24 May 2012

  • curprev 09:4709:47, 24 May 2012en>JRSpriggs 3,973 bytes +3,973 Undid revision 494028736 by Odexios (talk) one has to have ONE actual (not merely potential) well-order before one can use it to make the choices