[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] substit



Is there a description of the arguments of the "substit" substitution
function available somewhere?

Thanks, 
 
     Erika