History log of /seL4-l4v-master/isabelle/src/HOL/MicroJava/MicroJava.thy
Revision Date Author Comments
# 2ca7d222 15-Nov-2010 wenzelm <none@none>

non-executable source files;
# 39d710b9 04-Oct-2010 haftmann <none@none>

tuned whitespace
# c040dd23 24-Nov-2009 haftmann <none@none>

backported parts of abstract byte code verifier from AFP/Jinja

--HG--
extra : rebase_source : 1d943bc92831d0a92004a43f72ff37eb352bf23f
# 0774303e 24-Jul-2008 haftmann <none@none>

added explicit root theory; some tuning