Next: Trss
Up: Specification Files
 Previous: Variables
 
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