Theory AWN_Main

(*  Title:       AWN_Main.thy
    License:     BSD 2-Clause. See LICENSE.
    Author:      Timothy Bourke
*)

section "Import all AWN-related theories"

theory AWN_Main
imports AWN_SOS AWN_SOS_Labels OAWN_SOS_Labels AWN_Invariants
        OAWN_Convert OClosed_Transfer
begin

end