History log of /seL4-l4v-10.1.1/l4v/proof/invariant-abstract/ARM_HYP/ArchBCorres_AI.thy
Revision Date Author Comments
# b064281e 11-Oct-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

ainvs: clean up and arch split BCorres

RISCV64 will need slight variations in the arch dependent proofs