History log of /seL4-l4v-master/l4v/isabelle/src/HOL/SPARK/Manual/VC_Principles.thy
Revision Date Author Comments
# 66281660 26-May-2016 wenzelm <none@none>

isabelle update_cartouches -c -t;
# f2f7425c 07-Oct-2014 wenzelm <none@none>

more antiquotations;
# 42948201 22-Sep-2011 berghofe <none@none>

Added documentation for HOL-SPARK