Index of /ont/symMatrix/img

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 asserted.gif            04-Dec-2003 16:27  404   
 axiomViolated.gif       04-Dec-2003 16:27  512   
 conflict.gif            04-Dec-2003 16:27  325   
 constraint.gif          04-Dec-2003 16:27  408   
 description.gif         04-Dec-2003 16:27  478   
 instance.gif            04-Dec-2003 16:27  377   
 item.gif                04-Dec-2003 16:27  251   
 property.gif            04-Dec-2003 16:27  379   
 restriction.gif         04-Dec-2003 16:27  391   
 severity.gif            04-Dec-2003 16:27  381   
 space.gif               04-Dec-2003 16:27   48   
 unasserted.gif          04-Dec-2003 16:27  441   
 undeclared.gif          04-Dec-2003 16:27  413   
 unsatisfied.gif         04-Dec-2003 16:27  424