If you are reading this paper via too slow a link, it will be inconvenient to browse the proofs it contains. To avoid this problem, you can down-load a local copy of the paper. The paper is supplied as a gzipped UNIX tar file, which will unpack to create a large number of files. The file mu.html is the main file for the paper A Browsable Format for Proof Presentation. To down-load a local copy, save this link.