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