absolute import -- must work with Main.thy / HOL-Proofs
absolute import -- must work with Main.thy / HOL-Proofs

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