The FDL Navigator: Browsing and Manipulating Formal Content
by Christoph Kreitz
Unpublished manuscript, Cornell University
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.
bibTex ref: Kre03