History log of /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Statespace/StateSpaceSyntax.thy
Revision Date Author Comments
# 66281660 26-May-2016 wenzelm <none@none>

isabelle update_cartouches -c -t;
# 794edf80 02-Nov-2014 wenzelm <none@none>

modernized header uniformly as section;
# ffcd6989 25-May-2013 wenzelm <none@none>

syntax translations always depend on context;
# 6b0b29ec 13-Mar-2011 wenzelm <none@none>

tuned headers;
# ed1e126b 27-Aug-2010 wenzelm <none@none>

modernized specifications;
# 52b3d2ef 11-Feb-2010 wenzelm <none@none>

formal markup of @{syntax_const} and @{const_syntax};
authentic syntax for extra robustness;
# d93a6fb8 24-Oct-2007 schirmer <none@none>

added Statespace library