next up previous contents index
Next: Term Ordering Up: User's Guide Previous: Domain Hierarchy

Further Adjustments

 



windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998