History log of /seL4-l4v-master/l4v/isabelle/src/HOL/TLA/Memory/RPCParameters.thy
Revision Date Author Comments
# 744b34a2 11-Jan-2016 wenzelm <none@none>

eliminated old defs;
# e11de3a7 26-Jun-2015 wenzelm <none@none>

isabelle update_cartouches;
# 69b24741 26-Jun-2015 wenzelm <none@none>

more symbols;
# 403911ef 26-Jun-2015 wenzelm <none@none>

more symbols;
# 794edf80 02-Nov-2014 wenzelm <none@none>

modernized header uniformly as section;
# 5fc26177 11-Sep-2014 blanchet <none@none>

updated news
# d2ddb3a1 09-Sep-2014 blanchet <none@none>

use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
# 438b107d 23-May-2012 wenzelm <none@none>

eliminated old 'axioms';
# 216c8115 16-Jan-2011 wenzelm <none@none>

tuned headers;
# 079cde2d 17-Oct-2009 wenzelm <none@none>

eliminated hard tabulators, guessing at each author's individual tab-width;
tuned headers;
# 16362266 07-Oct-2008 haftmann <none@none>

arbitrary is undefined
# 4a856837 01-Dec-2006 wenzelm <none@none>

TLA: converted legacy ML scripts;
# f55bd273 07-Sep-2005 wenzelm <none@none>

converted to Isar theory format;
# 49f4684e 05-Oct-2001 wenzelm <none@none>

tuned;
# ace2eaf8 03-Aug-2000 wenzelm <none@none>

tuned version by Stephan Merz (unbatchified etc.);
# 0c0fa6ed 08-Feb-1999 wenzelm <none@none>

updated (Stephan Merz);
# 8b3b3609 08-Oct-1997 wenzelm <none@none>

A formalization of TLA in HOL -- by Stephan Merz;