I just fixed the docs of CL-UNIFICATION and CL-ENUMERATION. Mostly minor fixes and copyright updates, but I took the chance to go back and have a second look at the implementations. A couple of nice tweaks are in my personal version and I will upload them to CVS "very soon now" (yes, I know! I should switch to
gitor something similar).