History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Nominal/Examples/VC_Condition.thy
Revision Date Author Comments
# 17bc899d 18-Aug-2017 wenzelm <none@none>

session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
# 66281660 26-May-2016 wenzelm <none@none>

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

more canonical names
# 216c8115 16-Jan-2011 wenzelm <none@none>

tuned headers;
# 6c0563e6 17-May-2008 wenzelm <none@none>

avoid undeclared variables within proofs;
# cd5ecf2a 12-Mar-2008 urbanc <none@none>

tuned
# 6638800d 18-Feb-2008 urbanc <none@none>

slightly tuned
# 73ce9d35 19-Feb-2008 berghofe <none@none>

Yet another proof of False, this time using the strong case analysis rule.
# 56bcf215 11-Feb-2008 urbanc <none@none>

tuned proofs and comments
# 214105d3 08-Jan-2008 urbanc <none@none>

tuned proofs
# 5a64f8c1 31-Dec-2007 urbanc <none@none>

tuned proofs and comments
# 1c705834 20-Dec-2007 wenzelm <none@none>

adapted theory name;
# 28e1a742 19-Dec-2007 urbanc <none@none>

polishing of some proofs