History of Definable number

	Revision 4 . . September 14, 2001 8:01 pm by AxelBoldt [clarify what formulas are allowed; mention calculus of definable numbers]
	Revision 3 . . (edit) September 6, 2001 6:13 pm by Josh Grosse

---

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