## PSU (*LOCAL* -- Penn State University, USA) # Contact: Dave Barr (barr@math.psu.edu) # For local use only, contact the above address for information. # For internal use only by the Penn State University in the USA. Contact # (Dave Barr) for more information. newgroup:*:psu.*:mail rmgroup:*:psu.*:doit