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