Author: Dan Licata

Contents:
This is the companion code to

   Robert Harper and Daniel R. Licata
   Mechanizing Metatheory in a Logical Framework
   Journal of Functional Programming

It includes proofs of progress, preservation, determinism, and
strengthening for the simply-typed lambda-calculus.

See sources.cfg for an overview of the included files.
