Package edu.udel.cis.vsl.sarl.herbrand.IF

package edu.udel.cis.vsl.sarl.herbrand.IF
This package provides the internal interface supporting Herbrand arithmetic, i.e., arithmetic in which all operations are treated as uninterpreted operations. The entry point is Herbrand.