%% %% 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 %% %% 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'.