
========================================
THE DERIVATION OF THE STG MACHINE IN COQ
by Maciej Piróg, University of Wrocław
in June 2010
========================================

Use the 'make' command to compile the source code (*.v into *.vo). It is known
to compile correctly on Coq version 8.2pl1.

The order of file dependency is as follows:
 1. Utils
 2. Lang
 3. Subst
 4. Heaps
 5. Sem01
 6. Sem02
 7. Sem03
 8. Sem04
 9. Sem05
10. Sem06
11. Sem07

