---------------------------------------------------------------------- -- | -- Module : Unify -- Maintainer : AR -- Stability : (stable) -- Portability : (portable) -- -- > CVS $Date: 2005/04/21 16:22:31 $ -- > CVS $Author: bringert $ -- > CVS $Revision: 1.4 $ -- -- (c) Petri M