@@ -62,7 +62,7 @@
\gdef\@thanks{}\gdef\@author{}\gdef\@title{}}
% end of \maketitle
% For the \procedure and \function commands, we don't want heading numbers.
-\setcounter{secnumdepth}{1}
+\setcounter{secnumdepth}{2}
% redefine the subsection command to leave less space,
%and to use sans serif
\renewcommand\subsection{\@startsection%
marco