ralf@b.gp.cs.cmu.edu (Ralf Brown) (03/26/90)
The subject says it all.  Enjoy.
-- 
{backbone}!cs.cmu.edu!ralf   ARPA: RALF@CS.CMU.EDU   FIDO: Ralf Brown 1:129/46
BITnet: RALF%CS.CMU.EDU@CMUCCVMA   AT&Tnet: (412)268-3053 (school)   FAX: ask
DISCLAIMER? | _How_to_Prove_It_ by Dana Angluin  3. by vigorous handwaving:
What's that?|   	Works well in a classroom or seminar setting.