next up previous
Next: Using Autowrite Up: Specification Files Previous: Automata

Termsets

A termset is introduced by the Termset keyword followed a list on terms (not necessarily ground).



Irene DURAND
2005-02-01