Sequences
Tables and Sets
Style Guide
The 15-150 Tools page has very useful information regarding SML, $\LaTeX$, UNIX, and text editors.