Added occurs-positively?* (inline-recursive-type), and modified
occurs-positively?* (simple-constructor) to handle decl params correctly.
Fixed adt-every-rel-types to handle dep-bindings correctly
fixed yices2 call in translate-to-yices2.lisp
Added code to automatically add tooltips
Added proper indentation for defpvs macro
Minor change
Added code to automatically add tooltips
Added activation of PVS-TeX input method
Added typechecked-file-p
Minor fix to display-proofs-formula
Added pvs-json to xmlrpc module
Added refresh-proofstate command
Added name-expr-from-number class
1. Fixed tc-eq* (field-application field-application) to check types as well
2. Modified adt-compatible-pred-actuals to only include actual-equality if it
   is not nil.
Modified json::write-json-string to simply write the string - char-by-char
translation screws up unicode.
Merge branch 'master' of github.com:samowre/PVS
Merge branch 'master' of github.com:samowre/PVS
Modified actuals-are-outside-formals? to take into accout decl-formals.
pvs2c translator added to PVS

Signed-off-by: Sam Owre <owre@csl.sri.com>
Merge branch 'master' of github.com:samowre/PVS