%%
%% This is file `cabal.sty',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% cabal.v2.1.dtx  (with options: `package')
%% 
%% This is a generated file.
%% 
%% Copyright (c) 2007 by Tikitu de Jager <tikitu@gmail.com>
%% 
%% This file may be distributed and/or modified under the conditions of
%% the LaTeX Project Public License, either version 1.2 of this license
%% or (at your option) any later version.  The latest version of this
%% license is in:
%% 
%%    http://www.latex-project.org/lppl.txt
%% 
%% and version 1.2 or later is part of all distributions of LaTeX version
%% 1999/12/01 or later.
%% 
\NeedsTeXFormat{LaTeX2e}[1999/12/01]
\ProvidesPackage{cabal}[2007/06/25 v2.1 Macros for CABAL volumes]
\RequirePackage{url,enumerate}
%%
\renewcommand{\copyrightyear}{2007}
\renewcommand{\confname}{The Cabal Seminar: Reprints,
Unpublished Papers, and Surveys, Volume II}
\renewcommand{\editors}{A.\ S.\ Kechris, B.\ L\"owe,
J.\ R.\ Steel}
\hyphenation{pre-well-or-der-ing Mos-cho-va-kis}
\newcommand*{\markdef}[1]{{\normalfont\textbf{#1}}}
\newcommand*{\setdiv}{\,:\,}
\newcommand*{\set}[2]{\{#1\setdiv #2\}}
\newcommand*{\bset}[2]{\big\{#1\setdiv #2\big\}}
\newcommand*{\Bset}[2]{\Big\{#1\setdiv #2\Big\}}
\newcommand*{\seq}[1]{\langle #1 \rangle}
\newcommand*{\seqif}[2]{\langle #1\setdiv #2 \rangle}
\newcommand*{\tuple}[1]{\langle #1 \rangle}
\newcommand*{\Card}[1]{\mathrm{Card}\left(#1\right)}
\newcommand*{\abs}[1]{\lvert#1\rvert}
\newcommand*{\norm}[1]{\lVert#1\rVert}
\newcommand*{\Pot}[1]{\boldsymbol\wp(#1)}
\newcommand*{\inj}{\hookrightarrow}
\newcommand*{\surj}{\twoheadrightarrow}
\newcommand*{\bij}{\leftrightarrow}
\newcommand*{\restr}{{\upharpoonright}}
\newcommand*{\eqv}{\Longleftrightarrow}
\newcommand*{\imp}{\Longrightarrow}
\newcommand*{\conj}{\wedge}
\newcommand*{\disj}{\vee}
\newcommand*{\E}{\emptyset}
\newcommand*{\R}{\mathbb{R}}
\newcommand*{\V}{{\normalfont\textbf{V}}}
\newcommand*{\LL}{{\normalfont\textbf{L}}}
\newcommand*{\LR}{\LL(\R)}
\newcommand*{\J}{\mathbf{J}}
\newcommand*{\HOD}{\mathbf{HOD}}
\newcommand*{\OD}{\mathbf{OD}}
\newcommand*{\axiom}[1]{\ensuremath{\mathsf{#1}}}
\newcommand*{\AC}{\axiom{AC}}
\newcommand*{\AD}{\axiom{AD}}
\newcommand*{\ADR}{\axiom{AD}_{\R}}
\newcommand*{\CH}{\axiom{CH}}
\newcommand*{\DC}{\axiom{DC}}
\newcommand*{\Det}{\axiom{Det}}
\newcommand*{\GCH}{\axiom{GCH}}
\newcommand*{\PD}{\axiom{PD}}
\newcommand*{\ZF}{\axiom{ZF}}
\newcommand*{\ZFC}{\axiom{ZFC}}
\newcommand*{\Unif}{\axiom{Unif}}
\newcommand*{\Red}{\axiom{Red}}
\newcommand*{\Sep}{\axiom{Sep}}
\newcommand*{\Scale}{\axiom{Scale}}
\newcommand*{\PWO}{\axiom{PWO}}
\newcommand{\up}[1]{{\,}^{#1}\!}
\newcommand*{\Baire}{\up\omega\omega}
\newcommand*{\Cantor}{\up\omega2}
{\let\oldphi=\phi
\global\let\phi=\varphi
\global\let\varphi=\oldphi}
{\let\oldeps=\epsilon
\global\let\epsilon=\varepsilon
\global\let\varepsilon=\oldeps}
\newcommand*{\eps}{\epsilon}

{\let\oldemptyset=\emptyset
\global\let\emptyset=\varnothing
\global\let\varnothing=\oldemptyset}
{\let\oldtheta=\theta
\global\let\theta=\vartheta
\global\let\vartheta=\oldtheta}
\newcommand*{\X}{\mathfrak{X}}
\newcommand*{\C}{\mathrm{C}}
\newcommand*{\Q}{\mathrm{Q}}
\newcommand{\degree}[1]{\mathbf{#1}}
\renewcommand{\d}{\degree{d}}
\newcommand*{\compose}{\circ}
\newcommand*{\crit}{\mathrm{crit}}
\newcommand*{\Col}{\mathrm{Col}}
\newcommand*{\Th}{\mathrm{Th}}
\newcommand*{\leqlex}{\leq_{\mathrm{lex}}}
\newcommand*{\llex}{<_{\mathrm{lex}}}

\newcommand*{\leqbk}{\leq_{\mathrm{BK}}}
\newcommand*{\lbk}{<_{\mathrm{BK}}}

\newcommand*{\leqw}{\leq_{\W}}
\newcommand*{\lw}{<_{\W}}

\newcommand*{\leqT}{\leq_{\T}}
\newcommand*{\lT}{<_{\T}}

\newcommand*{\leqstar}{\leq^*}
\newcommand*{\lstar}{<^*}
\newcommand*{\W}{\mathrm{W}}
\newcommand*{\T}{\mathrm{T}}
\newcommand*{\PR}[1][]{\boldsymbol\wp_{#1}(\R)}
\DeclareMathOperator{\cf}{cf}
\DeclareMathOperator{\Con}{Con}
\DeclareMathOperator{\dom}{dom}
\DeclareMathOperator{\Id}{Id}
\DeclareMathOperator{\ran}{ran}
\DeclareMathOperator{\rank}{rank}
\DeclareMathOperator{\tcl}{tcl}
\DeclareMathOperator{\G}{G}
\DeclareMathOperator{\lh}{lh}
\DeclareMathOperator{\proj}{p}
\DeclareMathOperator{\Ord}{Ord}
\theoremstyle{definition}
\newtheorem{thm}{Theorem}[section]
\newtheorem{lem}[thm]{Lemma}
\newtheorem{pro}[thm]{Proposition}
\newtheorem{cor}[thm]{Corollary}
\newtheorem{dfn}[thm]{Definition}
\newtheorem{exa}[thm]{Example}
\newtheorem{openproblem}[thm]{Open Problem}
\newtheorem{conjecture}[thm]{Conjecture}
\newtheorem{subclaim}[thm]{Subclaim}
\newtheorem{quest}[thm]{Question}
\newtheorem{rem}[thm]{Remark}
\newtheorem{clm}[thm]{Claim}
\theoremstyle{definition}
\newtheorem{xthm}{Theorem}
\newtheorem{xlem}[xthm]{Lemma}
\newtheorem{xpro}[xthm]{Proposition}
\newtheorem{xcor}[xthm]{Corollary}
\newtheorem{xdfn}[xthm]{Definition}
\newtheorem{xexa}[xthm]{Example}
\newtheorem{xopenproblem}[xthm]{Open Problem}
\newtheorem{xconjecture}[xthm]{Conjecture}
\newtheorem{xsubclaim}[xthm]{Subclaim}
\newtheorem{xquest}[xthm]{Question}
\newtheorem{xrem}[xthm]{Remark}
\newtheorem{xclm}[xthm]{Claim}

\newcommand{\blubb}{}

\newenvironment{numberedproof}[1]
    {\renewcommand{\blubb}{#1}\begin{proof}}%
    {\let\oldqedsymbol\qedsymbol\renewcommand*{\qedsymbol}%
    {\oldqedsymbol~{\footnotesize (\blubb)}}\end{proof}}

\newenvironment{binumberedproof}[1]
    {\renewcommand{\blubb}{#1}\begin{proof}[Proof of \blubb]}%
    {\let\oldqedsymbol\qedsymbol\renewcommand*{\qedsymbol}%
    {\oldqedsymbol~{\footnotesize (\blubb)}}\end{proof}}

\newenvironment{clmproof}
    {\begin{proof}[Proof of Claim]}%
    {\let\oldqedsymbol\qedsymbol\renewcommand*{\qedsymbol}%
    {\oldqedsymbol~{\footnotesize (Claim)}}\end{proof}}

\newenvironment{sclmproof}
    {\begin{proof}[Proof of Subclaim]}%
    {\let\oldqedsymbol\qedsymbol\renewcommand*{\qedsymbol}%
    {\oldqedsymbol~{\footnotesize (Subclaim)}}\end{proof}}
\newcommand{\ie}{\textit{i.e.}}
\newcommand{\eg}{\textit{e.g.}}
\newcommand{\etc}{\textit{etc}}
\newcommand{\compare}{\textit{cf.}}
\newcommand{\axplus}{\ensuremath{\textup{+}}}
\newcommand{\axminus}{\ensuremath{\textup{-}}}
\newcommand{\axeq}{\ensuremath{\textup{=}}}
\newcommand{\bfSigma}{\ensuremath{\tboldsymbol{\Sigma}}}
\newcommand{\bfPi}{\ensuremath{\tboldsymbol{\Pi}}}
\newcommand{\bfDelta}{\ensuremath{\tboldsymbol{\Delta}}}
\newcommand{\bfGamma}{\ensuremath{\tboldsymbol{\Gamma}}}
\newcommand{\bfdelta}{\ensuremath{\tboldsymbol{\delta}}}
\newlength\knuthian@fdfive
\def\mathpal@save#1{\let\was@math@style=#1\relax}
\def\utilde#1{\mathpalette\mathpal@save
              {\setbox124=\hbox{$\was@math@style#1$}%
\setbox125=\hbox{$\fam=3\global\knuthian@fdfive=\fontdimen5\font$}
\setbox125=\hbox{$\widetilde{\vrule height 0pt depth 0pt width \wd124}$}%
               \baselineskip=1pt\relax
               \vtop{\copy124\copy125\vskip -\knuthian@fdfive}}}
\renewcommand\tboldsymbol[1]{%
\utilde{\boldsymbol{#1}}\mbox{\hskip 0pt}}
\newcommand{\IND}{\ensuremath{\mathrm{IND}}}
\newcommand{\HYP}{\ensuremath{\mathrm{HYP}}}
\newcommand{\bfIND}{\ensuremath{\tboldsymbol{\IND}}}
\newcommand{\bfHYP}{\ensuremath{\tboldsymbol{\HYP}}}

\newcommand{\compl}[1]{\breve{#1}}
\newcommand{\bfc}[1]{\tboldsymbol{\breve{#1}}}
\newcommand*{\lang}{\ensuremath{\mathcal{L}}}
\newcommand{\playerI}{\textrm{player I}}
\newcommand{\playerII}{\textrm{player II}}
\newcommand{\PlayerI}{\textrm{Player I}}
\newcommand{\PlayerII}{\textrm{Player II}}
\newcommand{\godel}[1]{\ensuremath{\ulcorner \! #1 \! \urcorner}}
\newcommand{\scale}[1]{\vec{#1}}
\newcommand{\concat}{\mathchoice%
  {\mathinner{}^{\mkern-\medmuskip\smallfrown}\mkern-
    \medmuskip\mathinner{}\mkern-\medmuskip}%
  {\mathinner{}^{\mkern-\medmuskip\smallfrown}\mkern-
    \medmuskip\mathinner{}\mkern-\medmuskip}%
  {^{\mkern-2mu\smallfrown}\mkern-\thinmuskip\mathinner{}}%
  {^{\mkern-2mu\smallfrown}\mathinner{}\mkern-\thinmuskip}}
\def\bibtexhack{%
  \immediate\write\@auxout{\noexpand\bibxcite{bibtexhack:endofcitations}{}{}{}{}{}{0}}%
  \nocite{bibtexhack:endofcitations} \nocite{*} }
\renewcommand{\@bib@item}[8][]{%
\item[\@wrap@list{%
    \@ifisempty{#8}{\composelist{#1}{#2}{#3}{#4}{#5}{#6}}{#8}%
  }]%
  \if@filesw{%
    \def\protect##1{\string ##1\space}%
    \@ifisempty{#7}{ \@auxstring={\bibxcite{#2}{}{}{}{}{#1\yearLast{#4}#5}}
    }{ \@auxstring={\bibxcite{#2}{}{}{}{}{#8}} }
    \immediate\write\@auxout{\the\@auxstring{\the\value{\@listctr}}}} \fi
  \mbox{ }\ignorespaces } \renewcommand{\composelist}[6]{#1\yearLast{#4}#5}
\newcommand{\yearLast}[1]{\if\IsPositive{#1}\l@stTw@#1\else #1\fi}
\def\l@stTw@#1#2#3#4{#3#4}
\def\IsPositive#1{%
  TT\fi \ifcat_\ifnum0<0#1 _\else A\fi }

\def\bibritem{\@bib@item}

\setlength\intergroupsep{0.5\baselineskip}
\renewcommand{\bibfitem}[7][]{%
  \vspace{\intergroupsep}%
  \let\oldguy=\guy%
  \def\guy##1##2##3##4##5{##2 ##3\ignorespaces ##4}%
\item[\textsc{#3}]%
  \nopagebreak% !! Need something else.. This doesn't work !!
  \let\guy=\oldguy%
  \@bib@item[#1]{#2}{#3}{#4}{#5}{#6}{#7}} \renewcommand{\guysmagic}[1]{}

\renewenvironment{thebibliography}[1]{%
  \ifnum\@mainsize=10 % (at 10pt, the normal for the jsl)
  \par
        \vspace{18pt}%
        \centerline{\fontsize{7}{7\p@}\selectfont \refname}%
        \nobreak\vspace*{5pt}\nobreak%
  \fontsize{8}{10\p@}\selectfont\relax
  \def\and{{\normalfont \lowercase{and}\ }}%
  \list{[\@arabic\c@enumi]\ }{%
\leftmargin12\p@ \labelwidth\z@ \itemindent-12\p@
\labelsep\z@ \usecounter{enumi}}%
  \sloppy \clubpenalty4000\relax \widowpenalty\clubpenalty
  \sfcode`\.\@m
\else                              % (at 11pt or bigger)
\par
        \vspace{20pt}%
        \centerline{\fontsize{8}{8\p@}\selectfont \refname}%
        \nobreak\vspace*{6pt}\nobreak%
  \fontsize{9}{11\p@}\selectfont\relax
  \def\and{{\normalfont \lowercase{and}\ }}%
  \list{[\@arabic\c@enumi]\ }{%
        \leftmargin\z@ \labelwidth\z@ \itemindent12\p@
        \labelsep\z@ \usecounter{enumi}}%
  \sloppy \clubpenalty4000\relax \widowpenalty\clubpenalty
  \sfcode`\.\@m%
\fi} % end of the pointsize choice
{\endlist}
\@ifclasswith{asl}{draft}{%
  \usepackage{calc}
  \newcommand{\question}[1]{\footnotemark\marginpar{\small (\thefootnote)
      #1}} \setlength{\overfullrule}{0pt} }{%
  \newcommand{\question}[1]{} }
\endinput
%%
%% End of file `cabal.sty'.
