pots  -- Command, no inputs.
     This command types at your terminal the title lines of all  procedures
     you've defined.  The name is an abbreviation for "print out titles".
