Removed an unused type.
About to start editing the interface of the timed automaton.
Added an obvious Makefile change.
Going to add support for actions in the type for timed
automata. Serious omission!
In the middle of adding support for actions.