History of HOL

	Revision 1 . . November 22, 2001 4:02 am by Cwitty [new page on HOL (the Higher Order Logic theorem proving system)]

---

No diff available--this is the first major revision. (no other diffs)