History log of /seL4-l4v-10.1.1/l4v/spec/take-grant/Islands_S.thy
Revision Date Author Comments
# 7693e1fa 03-Sep-2014 Andrew Boyton <andrew.boyton@nicta.com.au>

TakeGrant: Rename a couple of constants to make things clearer.

has_at_least => cap_in_caps
has_at_most => caps_dominated_by
# 2a03e81d 14-Jul-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

Import release snapshot.