simple_selinux/Delete_prop.thy
changeset 77 6f7b9039715f
parent 75 99af1986e1e0