Up Next
Go up to C.5.2 Annotations
Go forward to C.5.2.2 Display Annotations

C.5.2.1 Label Annotations

A label annotation is of the form `%[ID,...,ID]'. [CHANGED:] It may be written in various lists of items (e.g., declarations or axioms), [] immediately preceding the item to which it is to be attached.

CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk

Up Next