%------------------------------------------------------------------------------
include('K.sys').
include('ModalAxiomDefns.ax',[axiom_M]).
%------------------------------------------------------------------------------
fof(system_M,axiom,
    ( axiom_M )  ).
%------------------------------------------------------------------------------