new copyright notice
add Berkeley specific copyright notice
date and time created 88/01/12 00:42:26 by donn