Fix typos. Replace proof that PRPs are PRFs. Other fixes.

[doc/ips] / ips.cls

diff --git a/ips.cls b/ips.cls
index 2ecc62a..f5f20d7 100644 (file)
--- a/ips.cls
+++ b/ips.cls
@@ -142,6 +142,11 @@
   \def\topic{\sm@auxwrite{topic}}
 \fi
 
+\newcounter{sequence}
+\def\thesequence{\arabic{sequence}}
+\def\seq{\stepcounter{sequence}\thesequence}
+\def\resetseq{\setcounter{sequence}{0}}
+
 \def\head#1{{\sffamily\bfseries\large #1}\par}
 
 %%%------ Page layout for notes ---------------------------------------------