History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Statespace/document/root.tex
Revision Date Author Comments
# a7509197 06-Nov-2011 wenzelm <none@none>

tuned document;
tuned proofs;
# 843670ec 26-Nov-2010 wenzelm <none@none>

eliminated some generated comments;
# e23e99ee 24-Oct-2007 wenzelm <none@none>

be explicit about .ML files;
# d93a6fb8 24-Oct-2007 schirmer <none@none>

added Statespace library