%% 
%% This is file `ref1.col', generated on <1994/7/28> 
%% with the docstrip utility (2.2h).
%% 
%% The original source files were:
%% 
%% refcol.dtx  (with options: `ref1')
%% 
%% IMPORTANT NOTICE:
%% You are not allowed to distribute this file.
%% For distribution of the original source see
%% the copyright notice in the file refcol.dtx .
%% 
\def\set@color{%
  \special{color push \current@color}\aftergroup\reset@color}
\def\reset@color{\special{color pop}}
\def\set@page@color{\special{background \current@color}}
\def\color@@#1{%
  \def\current@color{#1}%
  \set@color}
\let\color@named\color@@
\def\color@rgb#1{\color@rgb@#1\@@}
\def\color@rgb@#1,#2,#3\@@{\color@@{rgb #1 #2 #3}}
\def\color@cmyk#1{\color@cmyk@#1\@@}
\def\color@cmyk@#1,#2,#3,#4\@@{\color@@{cmyk #1 #2 #3 #4}}
\def\color@gray#1{\color@@{gray #1}}
\def\definecolor@named#1#2{%
  \expandafter\def\csname\string\color @#1\endcsname{\color@named{#2}}}
\def\definecolor@gray#1#2{%
  \expandafter\def\csname\string\color @#1\endcsname{\color@gray{#2}}}
\def\definecolor@rgb#1#2{%
  \expandafter\def\csname\string\color @#1\endcsname{\color@rgb{#2}}}
\def\definecolor@cmyk#1#2{%
  \expandafter\def\csname\string\color @#1\endcsname{\color@cmyk{#2}}}
\def\current@color{Black}

\endinput
%% 
%% End of file `ref1.col'.