Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-15 20:23:27 -0700 (Wed, 15 Oct 2003)
Revision: 5000
Log message:
Moved the core "special" opnames into the Opname module. They used to be
defined separately in Term module of each of the Refiner implementation,
but a lot would probably break if different refiners would define these
opnames differently.