History log of /seL4-l4v-master/isabelle/src/Sequents/ILL_predlog.thy
Revision Date Author Comments
# 0bd0d17f 10-Oct-2015 wenzelm <none@none>

more symbols;
# c333f2c0 10-Oct-2015 wenzelm <none@none>

more symbols;
# 458a4961 13-Mar-2010 wenzelm <none@none>

removed old CVS Ids;
tuned headers;
# c3ddc26f 21-Feb-2010 wenzelm <none@none>

simplified syntax -- to make it work for authentic syntax;
# 3403212c 08-Feb-2010 wenzelm <none@none>

modernized some syntax translations;
# 510f3532 09-May-2007 wenzelm <none@none>

tuned syntax;
# de34e56f 20-Nov-2006 wenzelm <none@none>

converted legacy ML scripts;
# 4b291da4 20-Nov-2006 wenzelm <none@none>

converted legacy ML scripts;