removal of amssymbols.sty and lcp.sty; addition of iman.sty
removal of amssymbols.sty and lcp.sty; addition of iman.sty

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