[cl-unification-devel] Fixed a few glitches in CL-UNIFICATION

[Marco Antoniotti]

Hi

I fixed anumber of glitches in CL-UNIFICATION, especially w.r.t.  
MATCH-CASE and friends.

Please check if things are still ok.

Cheers

Marco

--
Marco Antoniotti