adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

trivial: update to session qualified import in Dpolicy

This commit is contained in:
Japheth Lim 2018-09-06 20:46:47 +10:00
parent c03323f20c
commit 788796a1cf
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
proof/access-control/Dpolicy.thy
View File

@ -10,7 +10,7 @@
theory Dpolicy
imports
Access
"Access.Access"
"DRefine.Refine_D"
"DBaseRefine.Include_D"
begin