Sun Jul 13 13:20:01 UTC 2008  mantoniotti
  * Instructions updated.
diff -rN -u old-cl-unification-1/INSTALLATION new-cl-unification-1/INSTALLATION
--- old-cl-unification-1/INSTALLATION	2013-07-24 17:41:36.000000000 +0000
+++ new-cl-unification-1/INSTALLATION	2013-07-24 17:41:36.000000000 +0000
@@ -5,20 +5,26 @@
 
 Issuing
 
-	(mk:load-system "unification")
+	(mk:load-system "CL-UNIFICATION")
 
 or
 
-	(mk:compile-system "unification")
+	(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 "unification")
+        (asdf-install:install "CL-UNIFICATION")
 
 provided that the package is unpacked in an ASDF-INSTALL known
 directory.