History of Iff

	Revision 3 . . August 20, 2001 9:30 pm by AxelBoldt [inventor added]
	Revision 2 . . August 20, 2001 9:11 pm by AxelBoldt [initial entry]

---

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

Added: 1a2,3

The abbreviation appeared in print for the first time in Kelley's 1975 book "General Topology" and was apparently invented by the mathematician [Paul Halmos]?.