commit afc0721a2411b21734d9595df54dd23283cc12a2
author Yulong Zhang <ansonzyl@gmail.com> Tue Mar 16 16:52:01 2021 -0700
committer Yulong Zhang <ansonzyl@gmail.com> Tue Mar 16 21:10:36 2021 -0700
tree bdc7e92a7836130460ac0ac52c90b6c47de36f17
parent cc3aa0cf31652300add81fb5e2e6d5b62a8abc96

Add Isabelle command line build file

access_control_module/ROOT

diff --git a/access_control_module/ROOT b/access_control_module/ROOT
new file mode 100644
index 0000000..6aac333
--- /dev/null
+++ b/access_control_module/ROOT
@@ -0,0 +1,33 @@
+session AccessControlModule = HOL + 
+  directories
+    interpretation
+  theories
+    AttrConf
+    FDP_ACC
+    FDP_ACF
+    FDP_IFC
+    FDP_IFF
+    FIA_USB
+    FMT_MSA
+    InfoType
+    ModelConf
+    ResrcAttr
+    ResrcType
+    SysId
+    TeaclaveAccessControl
+    TeaclaveRequirements
+    TrustLevel
+    UsrAttr
+    I_AttrConf
+    I_FDP_ACC
+    I_FDP_ACF
+    I_FIA_USB
+    I_FMT_MSA
+    I_InfoType
+    I_ModelConf
+    I_ResrcAttr
+    I_ResrcType
+    I_SysId
+    I_TeaclaveAccessControl
+    I_TrustLevel
+    I_UsrAttr