1 files changed, 17 insertions, 0 deletions
diff --git a/cls/userlib.tex b/cls/userlib.tex
index c64d25a..277d997 100644
--- a/cls/userlib.tex
+++ b/cls/userlib.tex
@@ -8,6 +8,8 @@
 \newtheorem{example}{Example}
 \newtheorem{claim}{Claim}
 
+\newtheorem*{definitionIRS}{Definition 16}
+
 \DeclareMathOperator{\op}{op}
 \DeclareMathOperator{\args}{arg}
 \DeclareMathOperator{\cost}{cost}
@@ -20,3 +22,18 @@
 \newcommand\mathbftt[1]{\textnormal{\ttfamily\bfseries #1}}
 
 \newcommand\note[1]{\marginpar{\color{red}\tiny #1}}
+
+\def\mergeop{\square}
+\def\bigmergeop{\mathop{\scalebox{1}[1]{\scalerel*{\Box}{\strut}}}}
+
+
+\SetAlgoSkip{}
+\SetKwProg{Def}{def}{}{}
+\SetKw{Break}{break}
+\SetKw{Lambda}{lambda\,}
+\SetKwComment{Comment}{//}{}
+\SetKwRepeat{Do}{do}{while}
+
+
+\newfloat{lstfloat}{htbp}{lop}
+\floatname{lstfloat}{Listing}