% \iffalse
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% TIMES.STY                                             November 1990      %
%                                                                          %
% David M. Jones                                                           %
% MIT Laboratory for Computer Science                                      %
% dmjones@theory.lcs.mit.edu                                               %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% \fi

\def\fileversion{v2.0}
\def\filedate{8/11/91}

\typeout{Style-Option: `times'
 \fileversion\space <\filedate> (dmj)}

% This is the style file for using PostScript Times Roman as your main
% text font.
%
% First we load the definitions of the various PostScript font
% families.
%    \begin{macrocode}
\input psfonts.sty
%    \end{macrocode}
% Then we set the default family and the default roman font to Times
% Roman.
%    \begin{macrocode}
\def\default@family{times}
\def\rmdefault{times}
%    \end{macrocode}
% We use Courier for the typewriter font and Helvetica for the sans
% serif font.
%    \begin{macrocode}
\def\ttdefault{courier}
\def\sfdefault{helvetica}
%    \end{macrocode}
% Finally, we select the new font family.
%    \begin{macrocode}
\family\default@family\selectfont
%    \end{macrocode}
\endinput