Mercurial Mercurial > hg > selinux / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Co2sobj_prop.thy
changeset 11 3e7617baa6a3
parent 10 ac66d8ba86d9
child 12 47a4b2ae0556 
--- a/Co2sobj_prop.thy	Tue May 21 08:01:33 2013 +0800
+++ b/Co2sobj_prop.thy	Tue May 21 10:19:51 2013 +0800
@@ -8,6 +8,8 @@
 
 (****************** cf2sfile path simpset ***************)
 
+thm cpfd2sfds_def
+
 lemma sroot_only:
   "cf2sfile s [] = Some sroot"
 by (simp add:cf2sfile_def)
selinux