simple_selinux/Static_type.thy
2013-12-02 chunhan remove shm and linkhard, make a simplified version of selinux
less more (0) tip