History of Function

	Revision 32 . . December 1, 2001 3:36 am by (logged).159.254.xxx
	Revision 31 . . October 16, 2001 12:07 am by AxelBoldt

---

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

Changed: 13c13

# functional: if (x, y1) and (x, y2) are both elements of f, then y1 = y1.

# functional: if (x, y1) and (x, y2) are both elements of f, then y1 = y2.