Skip to content
Snippets Groups Projects
Commit 5e3ba66a authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

draining

parent f86e3898
Branches
No related tags found
No related merge requests found
%%
%% This is file `ded.sty',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% ded.dtx (with options: `package')
%%
\NeedsTeXFormat{LaTeX2e}[1999/12/01]
\ProvidesPackage{ded}[2009/09/11 v1.1 Typesetting Deductions]
\def\@lineskipamount{4pt}
\def\@interlineskipamount{2pt}
\def\mud#1{\hfil $\displaystyle{#1}$\hfil}
\def\rig#1{\hfil $\displaystyle{#1}$}
\newbox\conc@box
\newbox\line@box
\newbox\name@box
\newbox\prem@box
\newbox\max@box
\newif\ifdouble\doublefalse
\newdimen\over@hang
\newdimen\tmp@dimen
\newdimen\max@wd
\newif\ifmax\maxfalse
\def\inrulehelp#1#2#3{%
\setbox\conc@box=\hbox{$\displaystyle{\mathstrut #2}$}%
\setbox\name@box=\hbox{$\; #3$}%
\setbox\line@box=\vbox{\vskip 2pt\halign{##\cr
\let\@tmpop=\relax
\mud{\@for\@I:={#1}\do{\@tmpop\@I\let\@tmpop=\quad}}\cr
\noalign{\vskip\the\lineskip}%
\noalign{\hrule height 0pt}%
\rig{\vbox to 0pt{\vss\hbox to 0pt{\copy\name@box \hss}\vss}}\cr
\noalign{\hrule}%
\ifdouble\noalign{\vskip\@interlineskipamount}\noalign{\hrule}\fi%
\noalign{\vskip\the\lineskip}%
\mud{\copy\conc@box}\cr}}%
\advance\max@wd by \wd\name@box
\tmp@dimen=\wd\line@box%
\advance\tmp@dimen by -\wd\conc@box%
\over@hang=.5\tmp@dimen}
\def\ian#1#2#3{\lineskip\@lineskipamount%
\ifmax\inrulehelp{#1}{#2}{#3}\box\line@box\else%
\inrulehelp{#1}{#2}{#3}\hbox to \wd\conc@box{\hss\box\line@box\hss}\fi}
\def\ibn#1#2#3#4{\ian{{#1},{#2}}{#3}{#4}} %prem1, prem2, conc, name
\def\icn#1#2#3#4#5{\ian{{#1},{#2},{#3}}{#4}{#5}}
\def\idn#1#2#3#4#5#6{\ian{{#1},{#2},{#3},{#4}}{#5}{#6}}
\def\ien#1#2#3#4#5#6#7{\ian{{#1},{#2},{#3},{#4},{#5}}{#6}{#7}}
\def\ianc#1#2#3{\lineskip\@lineskipamount%
\ifmax\inrulehelp{#1}{#2}{#3}\box\lin@box\else%
\inrulehelp{#1}{#2}{#3}\box\line@box\hskip\wd\name@box\fi}
\def\ibnc#1#2#3#4{\ianc{{#1},{#2}}{#3}{#4}} %prem1, prem2, conc, name
\def\icnc#1#2#3#4#5{\ianc{{#1},{#2},{#3}}{#4}{#5}}
\def\idnc#1#2#3#4#5#6{\ianc{{#1},{#2},{#3},{#4}}{#5}{#6}}
\def\ienc#1#2#3#4#5#6#7{\ianc{{#1},{#2},{#3},{#4},{#5}}{#6}{#7}}
\def\ianl#1#2#3{\lineskip\@lineskipamount%
\ifmax\inrulehelp{#1}{#2}{#3}\box\line@box\else%
\hskip\over@hang\hbox to \wd\conc@box{\hss\box\line@box\hss}\fi}
\def\ibnl#1#2#3#4{\ianl{{#1},{#2}}{#3}{#4}} %prem1, prem2, conc, name
\def\icnl#1#2#3#4#5{\ianl{{#1},{#2},{#3}}{#4}{#5}}
\def\idnl#1#2#3#4#5#6{\ianl{{#1},{#2},{#3},{#4}}{#5}{#6}}
\def\ienl#1#2#3#4#5#6#7{\ianl{{#1},{#2},{#3},{#4},{#5}}{#6}{#7}}
\def\ianr#1#2#3{\lineskip\@lineskipamount%
\ifmax\inrulehelp{#1}{#2}{#3}\box\line@box\else%
\inrulehelp{#1}{#2}{#3}\hbox to \wd\conc@box{\hss\box\line@box\hss}\hskip\over@hang\hskip\wd\name@box\fi}
\def\ibnr#1#2#3#4{\ianr{{#1},{#2}}{#3}{#4}} %prem1, prem2, conc, name
\def\icnr#1#2#3#4#5{\ianr{{#1},{#2},{#3}}{#4}{#5}}
\def\idnr#1#2#3#4#5#6{\ianr{{#1},{#2},{#3},{#4}}{#5}{#6}}
\def\ienr#1#2#3#4#5#6#7{\ianr{{#1},{#2},{#3},{#4},{#5}}{#6}{#7}}
\def\ianm#1#2#3{\lineskip\@lineskipamount\maxtrue\inrulehelp{#1}{#2}{#3}\box\line@box}
\def\subtree#1#2#3{{\doubletrue\ian{#1}{#2}{#3}}}
\def\subtreec#1#2#3{{\doubletrue\ianc{#1}{#2}{#3}}}
\def\smallnd{\def\Rulespacing{\renewcommand{\arraystretch}{3}\arraycolsep 0em}}
\def\normalnd{\def\Rulespacing{\renewcommand{\arraystretch}{4}\arraycolsep 0em}}
\normalnd
\def\normalspacing{\renewcommand{\arraystretch}{1}}
\def\dedover#1#2{\hbox{\vbox{$\displaystyle{\mathstrut
#1}$}\vbox{$\displaystyle{\mathstrut #2}$}}}
\newcommand{\ded@atop}[3][]{\genfrac{}{}{0pt}{#1}{#2}{#3}}
\newcommand{\hypjuda}[2]{\ded@atop[0]{\ded@atop[0]{\left[#1\right]}{\vdots}}{#2}}
\newcommand{\hypjudb}[3]{\ded@atop[0]{\left[#1\right]}{\hypjuda{#2}{#3}}}
\newcommand{\hypjudc}[4]{\ded@atop[0]{\left[#1\right]}{\hypjudb{#2}{#3}{#4}}}
\def\Displaynd@pre@space{0em}
\def\Displaynd@post@space{-1em}
\def\cbox@pre@space{-.5em}
\def\cbox@post@space{-2.5em}
\def\cbox@left@space{.3em}
\def\cbox@right@space{.3em}
\newenvironment{displaynd}%
{\begin{displaymath}\Rulespacing\begin{array}{c}}%
{\end{array}\end{displaymath}\aftergroup\ignorespaces}
\newenvironment{Displaynd}[1]%
{\vspace*{\Displaynd@pre@space}\begin{displaymath}\Rulespacing\begin{array}{#1}}%
{\end{array}\end{displaymath}\aftergroup\ignorespaces\vspace*{\Displaynd@post@space}}
\newenvironment{textnd}%
{$\displaystyle\Rulespacing\begin{array}{c}}%
{\end{array}$}
\def\ndsepline{\hline\\[-7ex]}
\newenvironment{cboxnd}%
{\vspace*{\cbox@pre@space}
\begin{displaymath}\Rulespacing
\begin{array}{|@{\hspace{\cbox@left@space}}c@{\hspace{\cbox@right@space}}|}\hline}%
{\\\hline\end{array}\end{displaymath}
\aftergroup\ignorespaces
\vspace*{\cbox@post@space}}
\newenvironment{tboxnd}%
{$\displaystyle\Rulespacing
\begin{array}{|@{\hspace{\cbox@left@space}}c@{\hspace{\cbox@right@space}}|}\hline}%
{\\\hline\end{array}$}
\newenvironment{fignd}[2]%
{\begin{figure}[htb]\def\fignd@label{fig:#1}\def\fignd@capt{{#2}}\begin{cboxnd}}%
{\end{cboxnd}\caption{\fignd@capt}\label{\fignd@label}\end{figure}}
\def\endfignd{\end{cboxnd}\caption{\fignd@capt}\label{\fignd@label}\end{figure}}
\newenvironment{tableau}%
{\arraycolsep .2em\def\arraystretch{.9}\begin{array}{c}}%
{\end{array}}
\newenvironment{displaytableau*}%
{\begin{displaymath}\begin{tableau}}%
{\end{tableau}\end{displaymath}\aftergroup\ignorespaces}
\newenvironment{displaytableau}[1]% label
{\begin{equation}\label{tab:#1}\begin{tableau}}%
{\end{tableau}\end{equation}\aftergroup\ignorespaces}
\newenvironment{branches}[1]% formt
{\begin{array}[t]{#1}\begin{array}[t]{c}}%
{\end{array}\end{array}}
\def\nextbranch{\end{array}&\begin{array}[t]{c}}
\def\rulename#1#2{\mbox{\sf{#1:#2}}}
\def\inputlf#1{\fbox{\ensuremath{#1}}}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment