ALF — More Typos

[Conrad Bock]

Search for:

A signal send symbol maps into a SendSignalAction on the incoming
transition between it and the previous state.

and insert "procedure containing a" before SendSignalAction.

Search for:

An expression string maps to an Expression element (possibly a
particular subclass of Expression, such as BooleanExpression or
TimeExpression). If an analyzer yields a procedure for calculating the
value of the expression, then the body association from Expression to
Procedure is used to record this.

and replace "body association" with "procedure association".

accept