20121229

CL-UNIFICATION and CL-ENUMERATION doc fixes


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 git or something similar).


(Cheers)