separation of M_axioms into M_triv_axioms and M_axioms
separation of M_axioms into M_triv_axioms and M_axioms

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle