History log of /seL4-l4v-10.1.1/l4v/spec/abstract/X64/Hypervisor_A.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>")
# 22999e54 09-Aug-2017 Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>

aspec: integrate all architectures
# 15f32f4d 12-Mar-2017 Joel Beeren <joel.beeren@nicta.com.au>

x64: ASpec builds after merge for ARM, X64