simple_selinux/Current_prop.thy
changeset 93 dfde07c7cd6b
parent 75 99af1986e1e0
equal deleted inserted replaced
92:d9dc04c3ea90 93:dfde07c7cd6b