History log of /seL4-l4v-master/l4v/isabelle/src/HOL/MicroJava/document/introduction.tex
Revision Date Author Comments
# 7c718ad5 18-Jul-2018 wenzelm <none@none>

prefer HTTPS;
# 2ca7d222 15-Nov-2010 wenzelm <none@none>

non-executable source files;
# c040dd23 24-Nov-2009 haftmann <none@none>

backported parts of abstract byte code verifier from AFP/Jinja

--HG--
extra : rebase_source : 1d943bc92831d0a92004a43f72ff37eb352bf23f
# 95e21a28 21-Feb-2002 kleing <none@none>

fix toc
# 0e7365d8 21-Feb-2002 kleing <none@none>

new document