History log of /seL4-l4v-master/isabelle/src/HOL/ex/Coherent.thy
Revision Date Author Comments
# f5e47925 26-Apr-2016 wenzelm <none@none>

misc tuning and modernization;
# ee8e8234 06-Oct-2015 wenzelm <none@none>

isabelle update_cartouches;
# 794edf80 02-Nov-2014 wenzelm <none@none>

modernized header uniformly as section;
# 55e11b0d 03-Apr-2012 griff <none@none>

renamed "rel_comp" to "relcomp" (to be consistent with, e.g., "relpow")
# 84578140 28-Sep-2009 wenzelm <none@none>

misc tuning and modernization;
# 2fd1889c 22-Sep-2008 berghofe <none@none>

Examples for coherent logic prover.