This directory contains the Elf source code which is presented in the extended
abstract

John Hannan and Frank Pfenning. Compiler verification in LF. In Andre Scedrov,
editor, Seventh Annual IEEE Symposium on Logic in Computer Science, pages
407-418, Santa Cruz, California, June 1992. IEEE Computer Society Press.

An extended version of the paper is in preparation.
