Use @MP_EQ@ instead of @MP_CMP@. Remove vestages of @primorial@.
[u/mdw/catacomb] / papers / crypto.sty
CommitLineData
d03ab969 1\endinput