Tue Jul 23 20:34:08 2002 (miller) Type Predef = Tue Jul 23 20:34:08 2002 (miller) Type Type = String Tue Jul 23 20:37:45 2002 (miller) Type Predef =