next up previous
Next: Terms Up: Specification Files Previous: Symbols and signature

Variables

The variables are introduced by the Vars keyword followed by a list of variables names which should be disjoint from the symbol names.



Irene DURAND
2005-02-01