This directory contains the source file for the CMU Tech Report version
of the paper on Evaltrace notation.
