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

isabelle update_cartouches -c -t;
# 35f7dccd 23-Feb-2016 nipkow <none@none>

more canonical names
# 794edf80 02-Nov-2014 wenzelm <none@none>

modernized header uniformly as section;
# a7509197 06-Nov-2011 wenzelm <none@none>

tuned document;
tuned proofs;
# 04fa3c09 06-Sep-2011 wenzelm <none@none>

tuned proofs;
# 6b0b29ec 13-Mar-2011 wenzelm <none@none>

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

modernized specifications;
# baea5702 01-Mar-2010 haftmann <none@none>

replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
# 52b3d2ef 11-Feb-2010 wenzelm <none@none>

formal markup of @{syntax_const} and @{const_syntax};
authentic syntax for extra robustness;
# 1fc22904 12-Nov-2007 schirmer <none@none>

added signatures;
tuned
# e23e99ee 24-Oct-2007 wenzelm <none@none>

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

added Statespace library