src/HOL/MicroJava/MicroJava.thy
2010-10-04 haftmann 2010-10-04 tuned whitespace
2008-07-25 haftmann 2008-07-25 added explicit root theory; some tuning