src/HOL/MicroJava/MicroJava.thy
2008-07-25 haftmann 2008-07-25 added explicit root theory; some tuning