Implementation

This page has been moved to ./documents/implementation.html.