diff --git a/new.ded/ded.sty b/new.ded/ded.sty
deleted file mode 100644
index f218f5b745773b8866f30489f4460d7b8be4a4aa..0000000000000000000000000000000000000000
--- a/new.ded/ded.sty
+++ /dev/null
@@ -1,128 +0,0 @@
-%%
-%% 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}}}