History of Modus ponens

	Revision 7 . . September 27, 2001 3:29 pm by AxelBoldt [removed misleading example: its first hypothesis was a tautology.]
	Revision 6 . . September 27, 2001 4:27 am by Larry Sanger ["In symbols": the symbols aren't necessary to capture form.]

---

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