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