Up: Autowrite: User's Guide (Still
Previous: Example of a session
Figures 1, 2 and 3 at the
end of the document show some snapshots of the graphical interface.
Operations on the current term and the current automaton
Boolean operations on automata
Call by need queries