CHANGE-PROVABILITY : LIBRARYCMDCHANGE-PROVABILITY is a library command.
Change the PROVABILITY attribute of a stored gwff.
If more than one library object of this name is stored in
the library and SHOW-ALL-LIBOBJECTS is set to T,
the user is prompted to disambiguate.
The command format for CHANGE-PROVABILITY is:
TPS documentation homepage