dd10eb1997-03-04Niels Möller /* Crypto.pmod * */
1b4e2b1997-03-05Niels Möller //inherit _Crypto;
dd10eb1997-03-04Niels Möller  mixed `[](string name) {
1b4e2b1997-03-05Niels Möller // return (::`[](name) || ((program) ("Crypto/" + name)));
1279891997-03-15Niels Möller  return (_Crypto[name] || ((program) ("Crypto/" + name)) || ((object) ("Crypto/" + name + ".pmod")));
dd10eb1997-03-04Niels Möller }