next up previous contents
Next: Predicate Declarations Up: add: Adding Input Previous: add: Adding Input   Contents


Use Declarations

Use declarations are of the form use($F$), where $F$ is an atom denoting a theory to be included. The meaning of that declaration is equivalent to the execution of the command add($F$).



Harald Ganzinger 2002-12-04

Imprint | Data Protection