-*-text-*-

This directory is for reports from the VLISP project, a collaboration between
Northeastern University and the Mitre Corporation.

91report.dvi: 
D. P. Oliva and M. Wand, ``A Verified Compiler for Pure
PreScheme,'' (with Dino P. Oliva), \tr 92-5, February, 1992.

92report.dvi:
D. P. Oliva and M. Wand, ``A Verified Run-Time Structure for
Pure PreScheme'' final report for MITRE Contract F19628-89-C001, \tr 92-27,
September, 1992.