rename map_theory/proof to theory/proof_map; added separate map_theory/proof;
rename map_theory/proof to theory/proof_map;
added separate map_theory/proof;

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