1 <html> 2 <head> 3 <title>CL Unification: Package CL.EXT.DACF.UNIFICATION</title> 4 <link rel="stylesheet" href="main.css"> 5 </head> 6 7 <body marginheight="0" marginwidth="0" leftmargin="0" topmargin="0" bgcolor="#ffffff"> 8 9 <table border="0" cellpadding="0" cellspacing="0" width="100%" height="100%" vspace="0" hspace="0"> 10 <tr> 11 <td colspan="3"> 12 <div class="header" 13 style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;"> 14 <strong><i>CL Unification: Package CL.EXT.DACF.UNIFICATION</title></i></strong> 15 <div class="navigation"> 16 <a href="index.html" class="navigation-link">Home</a> 17 | <a href="unification-package.html" class="navigation-link">Previous</a> 18 | <a href="index.html" class="navigation-link">Next</a> 19 | <a href="downloads.html" class="navigation-link">Downloads</a> 20 | <a href="links.html" class="navigation-link">Links</a> 21 </div> 22 </div> 23 <div class="black-line"><img src="../../../images/shim.gif" height="1" width="1"></div> 24 <div class="middle-bar"><img src="../../../images/shim.gif" height="5" width="1"></div> 25 <div class="black-line"><img src="../../../images/shim.gif" height="1" width="1"></div> 26 </td> 27 </tr> 28 29 <tr height="100%"> 30 <td height="100%"> </td> 31 <td valign="top" width="80%" height="100%"> 32 33 <div class="content"> 34 <div class="text" style="padding-top: 10px;"> 35 36 <h1><i>Package</i> <strong>CL.EXT.DACF.UNIFICATION</strong></h1> 37 38 <h2>Nicknames:</h2> 39 40 <p><code>UNIFY</code></p> 41 42 <h2>Uses:</h2> 43 44 <p><code>COMMON-LISP</code></p> 45 46 47 <h2>Description:</h2> 48 49 <p>This package contains all the definitions necessary for the general 50 Common Lisp unifier to work.</p> 51 52 <h2>Affected By:</h2> 53 54 <p>None.</p> 55 56 57 <h2>Exceptional Situations:</h2> 58 59 <p>None.</p> 60 61 62 <h2>See Also:</h2> 63 64 <p>None.</p> 65 66 <h2>Notes:</h2> 67 68 <p>None.</p> 69 70 </td> 71 72 <!-- <td height="100%"> </td> --> 73 </tr> 74 75 <tr height="100%"> 76 <td height="100%"> </td> 77 <td valign="top" width="80%" height="100%"> 78 79 <div class="content"> 80 <div class="text" style="padding-top: 10px;"> 81 82 <h1>News</h1> 83 84 <p>News in chronological order, most recent on top. 85 </p> 86 87 <ul> 88 <li><strong>2004-04-12</strong><br> 89 Completed description. 90 </li> 91 92 </ul> 93 94 </div> 95 </div> 96 97 </td> 98 99 <td height="100%"> </td> 100 </tr> 101 102 103 104 105 <tr> 106 <td colspan="3" valign="bottom" align="right"> 107 <div class="copyright"> 108 © 2003-2004, Marco Antoniotti, all rights reserved. 109 </div> 110 </td> 111 </tr> 112 113 </table> 114 </body> 115 </html>