1 CL-UNIFICATION
 2 
 3 Marco Antoniotti (c) 2004-2011
 4 
 5 The directory containing this file you are reading should contain the
 6 code and the documentation of the CL-UNIFICATION package.
 7 
 8 The package is a full-blown library to "unify" arbitrary CL objects
 9 while constructing bindings for placeholders (unification variables)
10 in a "template" sublanguage.
11 
12 Enjoy.