This manual describes the operations of the first prototype of the formal digital library that is currently being designed and implemented as part of a research project sponsored by the Office of Naval Research entitled Building Interactive Digital Libraries of Formal Algorithmic Knowledge.

It describes the commands for browsing and manipulating library objects through a command interface, called top loop, as well as a highly visual user interface, called the Navigator.