@@ -70,7 +70,7 @@ Outline
72This tutorial starts (:ref:`introst`) by describing how to manipulate
72This tutorial starts (:ref:`introst`) by describing how to manipulate
73−individual states, introduce a data type ``STrans`` for describing stateful
73+individual states, introduces a data type ``STrans`` for describing stateful
74functions, and ``ST`` which describes top level state transitions.
74functions, and ``ST`` which describes top level state transitions.
75Next (:ref:`smstypes`) it describes how to represent state machines in
75Next (:ref:`smstypes`) it describes how to represent state machines in
76types, and how to define *interfaces* for describing stateful systems.
76types, and how to define *interfaces* for describing stateful systems.