This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=pdflatex 2008.7.25)  29 MAY 2009 00:39
entering extended mode
 %&-line parsing enabled.
**defs.tex
(./defs.tex
LaTeX2e <2005/12/01>
Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, loaded.

! LaTeX Error: \section undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.2 \renewcommand{\section}
                           [1]{\oldsection{#1}\ilabel{#1}}
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: \subsection undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.4 \renewcommand{\subsection}
                              [1]{\oldsubsection{#1}\ilabel{#1}}
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: \subsubsection undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.6 \renewcommand{\subsubsection}
                                 [1]{\oldsubsubsection{#1}\ilabel{#1}}
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

)
! Emergency stop.
<*> defs.tex
            
*** (job aborted, no legal \end found)

 
Here is how much of TeX's memory you used:
 43 strings out of 95086
 309 string characters out of 1183255
 45034 words of memory out of 1500000
 3315 multiletter control sequences out of 10000+50000
 3640 words of font info for 14 fonts, out of 1200000 for 2000
 28 hyphenation exceptions out of 8191
 7i,0n,6p,91b,14s stack positions out of 5000i,500n,6000p,200000b,5000s
!  ==> Fatal error occurred, no output PDF file produced!