Go up to Appendix A: Abstract Syntax
Go forward to Basic Specifications

Identifiers

ID              ::=   SIMPLE-ID
SIMPLE-ID       -- structure insignificant for abstract syntax
CoFI Tentative Document: LanguageSummary --Version 0.95-- March 6, 1997.
Comments to cofi-language@brics.dk