These files describe the MIPS code generator written by Norman Ramsey. They were generated from the .nw files that are in the src/mips directories; the .sml files were also generated from these .nw files. To format the whole thing, run tex mips.tex