DEFINITION Rot13; (* portable *) (* eos 24-Nov-95 *)

 (* decode rot13 encrypted selection *)
 PROCEDURE Decode;

END Rot13.