This directory contains software produced by other groups that is directly
relevant to the MRG project.

NanoJava ... Isabelle theory for Oheimb's and Nipkow's NanoJava (see
             http://isabelle.in.tum.de/library/HOL/NanoJava/)