| Revision 10 . . August 10, 2001 10:42 pm by AxelBoldt |
| Revision 9 . . August 10, 2001 6:38 am by AxelBoldt [axiom of choice needed] |
| Revision 8 . . (edit) August 9, 2001 6:56 am by AxelBoldt [merge well-order and well-ordered set] |
| Revision 7 . . (edit) August 9, 2001 6:45 am by AxelBoldt |
| Revision 6 . . August 9, 2001 6:19 am by AxelBoldt [mention successors and transfinite induction] |
| Revision 5 . . August 9, 2001 6:17 am by AxelBoldt [mention successors and transfinite induction] |
| Revision 4 . . (edit) August 9, 2001 5:46 am by Zundark |
| Revision 3 . . (edit) August 9, 2001 5:35 am by Josh Grosse |
| Revision 2 . . (edit) August 9, 2001 5:33 am by (logged).60.221.xxx |
| Revision 1 . . August 9, 2001 5:30 am by Zundark |
|