CL-UNIFICATION INSTALLATION

The package comes with a MK:DEFSYSTEM definition:
"unification.system".

Issuing

	(mk:load-system "CL-UNIFICATION")

or

	(mk:compile-system "CL-UNIFICATION")

will make the UNIFY package available.

There is also an ASDF system definition for those who use this system.

Issuing

	(asdf:oos 'asdf:load-op "CL-UNIFICATION")

should make the library available in your environment.

If your CL implementation is ASDF-INSTALL aware, you should also be
able to just say

        (asdf-install:install "CL-UNIFICATION")

provided that the package is unpacked in an ASDF-INSTALL known
directory.

Enjoy