Supplement to "Search and Rest Unemployment"

The appendix contains three sections.  The first establishes the equivalence between approach to solving the model and the more standard Hamilton-Jacobi-Bellman equation.  The second provides an alternative proof of uniqueness of equilibrium, and the third extends the model.