From 7d8ba7ed3d24b03fed3ac789614c27b3808ded74 Mon Sep 17 00:00:00 2001
From: Douglas Rumbaugh <dbr4@psu.edu>
Date: Thu, 15 May 2025 18:24:35 -0400
Subject: updates

---
 cls/userlib.tex | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'cls/userlib.tex')

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}
-- 
cgit v1.2.3

