History of Theorem-proving

	Revision 9 . . (edit) August 3, 2001 4:15 pm by Buttonius
	Revision 8 . . (edit) June 22, 2001 3:31 pm by Josh Grosse
	Revision 6 . . May 1, 2001 11:14 pm by Josh Grosse

---

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