simple_selinux/Static_type.thy
changeset 90 003cac7b8bf5
parent 74 271e9818b6f6