%%
%% This is file `amsthm-bidi.def',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% bidi.dtx  (with options: `amsthm-bidi.def')
%% 
%%   __________________________________
%%   Copyright © 2009 Vafa Khalighi
%% 
%%   License information appended.
%% 
%% 
\def\@thmcountersep{\@SepMark}
%% 
%% Copyright © 2009      by Vafa Khalighi     <vafa@users.berlios.de>
%% 
%% Distributable under the LaTeX Project Public License,
%% version 1.3c or higher (your choice). The latest version of
%% this license is at: http://www.latex-project.org/lppl.txt
%% 
%% This work is "maintained" (as per LPPL maintenance status)
%% by Vafa Khalighi.
%% 
%% 
%% 
%% 
%%
%% End of file `amsthm-bidi.def'.
