History of Ordered field

	Revision 4 . . August 18, 2001 4:01 am by AxelBoldt
	Revision 3 . . August 17, 2001 11:30 pm by AxelBoldt [better set of axioms]

---

Difference (from prior major revision) (no other diffs)

Changed: 10c10

that the operations + and * are continuous.

that the operations + and * are continuous.