tidying: mostly spacing, but also simpler forms for Crypt_imp_OR2 & OR3_imp_OR2
tidying: mostly spacing, but also simpler forms for Crypt_imp_OR2 & OR3_imp_OR2

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