Theory Decision_All

theory Decision_All
imports
Decision_NCPC
Decision_NCPC_Aut
begin


end