ABEL Documentation

Under construction.

This page will eventually contain the complete documentation of all SML signatures in the implementation of ABEL. It is intended for students or other people who wants to do implementation work on the system.

To make reading of other peoples code easier, a style guide is provided.

Last modified 06/24/98 11:02:29 AM CET by Tore Bastiansen