History log of /seL4-l4v-10.1.1/l4v/proof/refine/ARM/IncKernelInit.thy
Revision Date Author Comments
# 7657681f 29-Jan-2017 Rafal Kolanski <rafal.kolanski@nicta.com.au>

move refine/* to refine/ARM/*, parametrise over $L4V_ARCH