The toolset manual can be downloaded from https://nms.kcl.ac.uk/kevin.lano/uml2web/umlrsds19.pdf
There are also specialised manuals for the analysis of QVT-R:
and for synthesis of model transformations:
These are also available from the GitHub repository.
Library files for OCL in Java versions, C#, C++, C and Python are also available in files ocl.py, etc.