next up previous
Next: Trss Up: Specification Files Previous: Variables

Terms

A term is introduced by the Term keyword followed by the term. Terms are represented in the usual infix notation and must be built upon the signature and the set of variables.



Irene DURAND
2005-02-01