This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2000.1.27)  19 JAN 2001 08:06
**defs.tex
(defs.tex
LaTeX2e <1998/12/01> patch level 1
Babel <v3.6x> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, loaded.
\c@algcounterA=\count79
\c@algcounterB=\count80
\c@algcounterC=\count81
\c@definition=\count82

! LaTeX Error: No counter 'section' defined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.27 ...orem{definition}{\em Definition:}[section]
                                                  
? x
 
Here is how much of TeX's memory you used:
 39 strings out of 10901
 461 string characters out of 72025
 43956 words of memory out of 263001
 3051 multiletter control sequences out of 10000+0
 3640 words of font info for 14 fonts, out of 400000 for 1000
 14 hyphenation exceptions out of 1000
 9i,0n,12p,74b,14s stack positions out of 300i,100n,500p,50000b,4000s
No pages of output.