History log of /seL4-l4v-10.1.1/l4v/proof/invariant-abstract/ARM_HYP/ArchBits_AI.thy
Revision Date Author Comments
# 6b9d9d24 09-Jun-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

Isabelle2018: new "op x" syntax; now is "(x)"

(result of "isabelle update_op -m <dir>")
# f0da7d17 06-Dec-2016 Miki Tanaka <miki.tanaka@nicta.com.au>

arm-hyp invariants: add ARM_HYP directory, updating ArchInvariants_AI and Invariants_AI