History of Real number

	Revision 28 . . (edit) December 13, 2001 12:57 am by Bryan Derksen [unicode re-added, in a paragraph all by itself including both a description of the symbol and a warning that it may not display in all browsers.]
	Revision 27 . . (edit) December 9, 2001 9:46 am by Zundark [remove Unicode]
	Revision 26 . . (edit) December 9, 2001 8:16 am by Bryan Derksen [make that ℝs. There's no "preview" for comments. :)]
	Revision 25 . . (edit) December 9, 2001 8:12 am by Bryan Derksen [replaced two more ℏs that were hiding near the bottom]
	Revision 24 . . December 9, 2001 3:29 am by AxelBoldt
	Revision 23 . . (edit) December 9, 2001 1:34 am by Bryan Derksen [another unicode symbol]
	Revision 22 . . (edit) December 9, 2001 1:11 am by Bryan Derksen [unicode symbol, links]
	Revision 21 . . (edit) September 30, 2001 1:43 pm by Zundark [fix link]

---

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