History of Well-order

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

---

Difference (from prior major revision) (no other diffs)
No diff available.