Go to the first, previous, next, last section, table of contents.

 


 

7.2 Formal semantics

... Omitted from Texinfo version ...

 


 

Go to the first, previous, next, last section, table of contents.