Supporting materials
--------------------

basic.lisp             Some stuff about lists, sets, etc..             

terms.lisp             Basic properties of first-order terms
                       (represented as lists). 

defpun.lisp            Definition of partial functions (by P. Manolios
                       and J Moore) 

dag-unification.lisp   Implementation of a unification algorithm
                       representing terms as directed acyclic grpahs
                       using stobjs. 

dag-unification-examples.lisp
                       Some examples.

dags.lisp              Definitions and theorems about directed acyclic 
                       graphs. 

