Reference manual
/
Z-related commands
/ Miscellaneous commands
These commands don't fit into other categories.
postcondition
precondition
save source
signature
source text
type
type expansion
why not
IT 24-Feb-2000