Fixed subst-mod-params* (resolution) to handle the nmi properly
Modified the assertion in mk-resolution
Modified set-type* (type-application) to include the declaration arg to
subst-mod-params
1. Modified typecheck* (type-application) to include the declaration arg to
   subst-mod-params
2. Fixed generate-uninterpreted-subtype to include declaration parameters if
   the parent declaration does.
Fixed the pvs -h patchlevel help
Added
Added pvs-help-unicode
Added help-pvs-unicode
Added
Added boolean Unicode operators
Added Unicode operators
Bumped up *binfile-version*
Added more handling of Unicode operators
Added more handling of Unicode operators
Minor fix to subst-mod-params* (resolution)
Added include of 6.0 release notes