History of Kleene algebra

	Revision 1 . . September 6, 2001 8:40 am by (logged).110.73.xxx

---

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