The Javadoc for Eclipse OCL 6.0.0 (Mars) APIs may be found by following the OCL 6.0.0 API Reference link.