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