Theory All_BD_Security_Instances_for_CoCon

theory All_BD_Security_Instances_for_CoCon
imports
(* *)
(*
"Paper_Confidentiality/Paper_Aut_PC"
"Paper_Confidentiality/Paper_Aut"
*)
"Paper_Confidentiality/Paper_All"
(*  *)
(*
"Review_Confidentiality/Review_RAut"
"Review_Confidentiality/Review_RAut_NCPC"
"Review_Confidentiality/Review_RAut_NCPC_PAut" *)
"Review_Confidentiality/Review_All"
(*  *)
(*
"Discussion_Confidentiality/Discussion_NCPC"
*)
"Discussion_Confidentiality/Discussion_All"
(*  *)
(*
"Decision_Confidentiality/Decision_NCPC"
"Decision_Confidentiality/Decision_NCPC_Aut"
*)
"Decision_Confidentiality/Decision_All"
(*  *)
(*
"Reviewer_Assignment_Confidentiality/Reviewer_Assignment_NCPC"
"Reviewer_Assignment_Confidentiality/Reviewer_Assignment_NCPC_Aut"
*)
"Reviewer_Assignment_Confidentiality/Reviewer_Assignment_All"
(*  *)
Traceback_Properties
begin

end